RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Compositional characterization of observable program properties

B. Steffen, C. Barry Jay and M. Mendler

RAIRO-Theor. Inf. Appl., 26 5 (1992) 403-424

Published online: 01 February 2017

DOI: 10.1051/ita/1992260504031

B. Steffen

C. Barry Jay

M. Mendler

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)