Vol-3427⫷ Vol-3428 ⫸Vol-3429
urn:nbn:de:0074-3428-0


Vol-3428/short1⫷Vol-3428/short2⫸Vol-3428/short3
Francesco Di Cosmo

Verification of Prev-Free Communicating Datalog Programs