Process algebra and probabilistic methods : perfomance modeling and verification /

Verification, model checking and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /

Publisher description

Value-range analysis of C programs : towards proving the absence of buffer overflow vulnerabilities / by Simon, Axel

Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /

Hybrid systems II /

Logic program synthesis and transformation /

Logic program synthesis and transformation /

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / by Godefroid, Patrice

Programming in the 1990s : an introduction to the calculation of programs / by Cohen, Edwards

Reasoned programming / by Broda, Krysia, 1949-

Formal development of programs and proofs / by Dijkstra, Edsger Wybe, 1930-2002

The deductive foundations of computer programming / by Manna, Zohar

Relations and graphs : discrete mathematics for computer scientists / by Schmidt, Günter, 1939-

Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain,...

Analysis and verification of multiple-agent languages /

Formal methods for industrial applications : specifying and programming the steam boiler control /

Types for proofs and programs /

Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 /

Static analysis /

Theorem proving in higher order logics /