An axiomatic semantics for iocos_ conformance relation
Revista:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216
Año de publicación: 2018
Volumen: 100
Páginas: 152-184
Tipo: Artículo