An axiomatic semantics for iocos_ conformance relation
Aldizkaria:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216
Argitalpen urtea: 2018
Alea: 100
Orrialdeak: 152-184
Mota: Artikulua