Machines
From MaRDI portal
Publication:4907913
DOI10.1142/9789814374309_0004zbMath1256.68065OpenAlexW4232770684MaRDI QIDQ4907913
Publication date: 26 February 2013
Published in: A Computable Universe (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/9789814374309_0004
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of computing (68Q01)
Related Items (1)
This page was built for publication: Machines