Compositional Characterization of Observable Program Properties





Professorship/Faculty: Foundations of Computer Science  
Author(s): Steffen, B.; Barry Jay, C.; Mendler, Michael
Publisher Information: Bamberg : opus
Year of publication: 2018
Pages: 22
Source/Other editions: Ursprünglich in: Theoretical informatics and applications. – 26 (1992), 5, Seite 403-424
Year of first publication: 1992
Language(s): German
Remark: Retrodigitalisat
DOI: 10.20378/irbo-52664
Licence: German Act on Copyright 
URN: urn:nbn:de:bvb:473-opus4-526643
Document Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/44286
Year of publication: 13. August 2018

File SizeFormat  
Program_Properties_A3a.pdf900.86 kBPDFView/Open