An axiomatic semantics for iocos_ conformance relation

  1. Gregorio-Rodríguez, C.
  2. Llana, L.
  3. Martínez, R.
Journal:
Journal of Logical and Algebraic Methods in Programming

ISSN: 2352-2216

Year of publication: 2018

Volume: 100

Pages: 152-184

Type: Article

DOI: 10.1016/J.JLAMP.2018.06.006 GOOGLE SCHOLAR

Sustainable development goals