An axiomatic semantics for iocos_ conformance relation
Revista:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216
Ano de publicación: 2018
Volume: 100
Páxinas: 152-184
Tipo: Artigo