An axiomatic semantics for iocos_ conformance relation
Revista:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216
Any de publicació: 2018
Volum: 100
Pàgines: 152-184
Tipus: Article