Compositional Characterization of Observable Program Properties





Faculty/Professorship: Foundations of Computer Science  
Author(s): Steffen, B.; Barry Jay, C.; Mendler, Michael
Title of the Journal: Theoretical informatics and applications
ISSN: 0988-3754, 1290-385X
Publisher Information: Cambridge, Massachusetts, USA : EDP Sciences
Year of publication: 1992
Volume: 26
Issue: 5
Pages: 403-424
Language(s): German
DOI: 10.1051/ita/1992260504031
Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/56620
Release Date: 21. November 2022