Formalising a value-passing calculus in H0L
From MaRDI portal
Publication:1965247
DOI10.1007/s001650050046zbMath0937.68112MaRDI QIDQ1965247
Publication date: 14 June 2000
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001650050046
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items