Compositional Characterization of Observable Program Properties
Steffen, B.; Barry Jay, C.; Mendler, Michael (2018): Compositional Characterization of Observable Program Properties, in: Bamberg: opus, doi: 10.20378/irbo-52664.
Faculty
Author:
 ;  ; 
Publisher Information:
Year of publication:
2018
Pages:
Source/Other editions:
Ursprünglich in: Theoretical informatics and applications. – 26 (1992), 5, Seite 403-424
Year of first publication:
1992
Language:
German
Remark:
Retrodigitalisat:
DOI:
Licence:
URN:
Type:
Article
URI:
Activation date:
August 13, 2018

Full text/File(s)

Program_Prop[...].pdf

Question on publication

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