Computer aided verification
proceedings
CAV (Conference) 2009 : Grenoble, France)
creator
Bouajjani, Ahmed
ed.
Maler, Oded
ed.
text
bibliography
conference publication
gw
Berlin
New York
Springer
2009
monographic
eng
xv, 722 p. : il. ; 24 cm.
Ahmed Bouajjani, Oded Maler (eds.).
Includes bibliographical references and index.
Logics and meanings of programs
Program verification
Tools and techniques
Mathematical logic
Deducton and theorem proving
Design aids
Special-purpose and application-based systems
Lecture notes in computer science ; v. 5643
LNCS ; v. 5643
9783642026577
NNC
090626
20160908124444.0
7234912