An axiomatic semantics for iocos_ conformance relation
Zeitschrift:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216
Datum der Publikation: 2018
Ausgabe: 100
Seiten: 152-184
Art: Artikel