Options
Compositional Characterization of Observable Program Properties
Steffen, B.; Barry Jay, C.; Mendler, Michael (2018): „Compositional Characterization of Observable Program Properties“. Bamberg: opus.
Faculty/Professorship:
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:
Type:
Article
published:
August 13, 2018
Permalink
https://fis.uni-bamberg.de/handle/uniba/44286