Machines

DOI10.1142/9789814374309_0004zbMath1256.68065OpenAlexW4232770684MaRDI QIDQ4907913

Raymond Turner

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of computing (68Q01)

Related Items (1)

A Vindication of Program Verification

This page was built for publication: Machines