Compositional Characterization of Observable Program Properties
Steffen, B.; Barry Jay, C.; Mendler, Michael (1992): Compositional Characterization of Observable Program Properties, in: Theoretical informatics and applications, Cambridge, Massachusetts, USA: EDP Sciences, Jg. 26, Nr. 5, S. 403–424, doi: 10.1051/ita/1992260504031.
Faculty/Chair:
Author:
 ;  ; 
Title of the Journal:
Theoretical informatics and applications
ISSN:
0988-3754
1290-385X
Publisher Information:
Year of publication:
1992
Volume:
26
Issue:
5
Pages:
Language:
German
DOI:
Type:
Article
URI:
Activation date:
November 21, 2022

Versioning

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/56620