Reasoning About Active Objects: A Sound and Complete Assertional Proof Method

Frank S. de Boer, Stijn de Gouw*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Fingerprint

Dive into the research topics of 'Reasoning About Active Objects: A Sound and Complete Assertional Proof Method'. Together they form a unique fingerprint.

Computer Science

Keyphrases