An axiomatic semantics for iocos_ conformance relation
Revue:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216
Année de publication: 2018
Volumen: 100
Pages: 152-184
Type: Article