@inproceedings{045a7fcb980546ae9e66607bface8947,
title = "Reasoning About Active Objects: A Sound and Complete Assertional Proof Method",
author = "Boer, {Frank S. de} and Gouw, {Stijn de}",
year = "2022",
month = jul,
day = "4",
doi = "10.1007/978-3-031-08166-8_9",
language = "English",
isbn = "978-3-031-08165-1",
volume = "13360",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "173--192",
editor = "Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Johnsen, {Einar Broch}",
booktitle = "The Logic of Software. A Tasting Menu of Formal Methods",
edition = "1",
}