An axiomatic semantics for iocos_ conformance relation
Journal:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216
Year of publication: 2018
Volume: 100
Pages: 152-184
Type: Article