Vol-68⫷ Vol-69 ⫸Vol-70
urn:nbn:de:0074-69-0


Vol-69/paper-13⫷Vol-69/paper-14⫸Vol-69/paper-15

A Logic of Actions to Specify and Verify Process Requirements