Vol-1498⫷ Vol-1499 ⫸Vol-1500
urn:nbn:de:0074-1499-0


Vol-1499/preface⫷Vol-1499/paper1⫸Vol-1499/paper2
Gennaro Vessio

Reasoning about Properties with Abstract State Machines