Publication:4261732
From MaRDI portal
zbMath0922.03019MaRDI QIDQ4261732
Robert L. Constable, David A. Basin
Publication date: 2 September 1999
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
03B35: Mechanization of proofs and logical operations
68N01: General topics in the theory of software
Related Items
Towards an integration science. The influence of Richard Bellman on our research., Structuring metatheory on inductive definitions, Higher-order substitutions, Unnamed Item