Input-Output Model Programs
From MaRDI portal
Publication:3393419
DOI10.1007/978-3-642-03466-4_21zbMath1250.68198MaRDI QIDQ3393419
Margus Veanes, Nikolaj Bjørner
Publication date: 20 August 2009
Published in: Theoretical Aspects of Computing - ICTAC 2009 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03466-4_21
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items