computer aided verification (9783540272311) (52)
acm / sigplan notices (8)
acm sigplan notices (7)
ieee software (7)
acm transactions on programming languages & systems (6)
communications of the acm (4)
ieee transactions on software engineering (4)
information processing letters (3)
international journal on software tools for technology transfer (3)
static analysis (3)
computer aided verification (2)
computer aided verification (trento, 1999) (2)
icse: international conference on software engineering (2)
proceedings of the 1999 ieee acm international conference computer-aided design (2)
2010 acm/ieee 32nd international conference on software engineering (1)
2010 acm/ieee 32nd international conference on software engineering, software engineering, 2010 acm/ieee 32nd international conference on (1)
2014 ieee symposium on security & privacy (1)
2014 ieee symposium on security and privacy, security and privacy (sp), 2014 ieee symposium on (1)
35th iarcs annual conference on foundations of software technology and theoretical computer science (1)
automated technology for verification & analysis (9783540883869) (1)
computer aided verification (9783642397981) (1)
concur '97: concurrency theory (warsaw) (1)
dissertation abstract international (1)
dissertation abstracts international (1)
distributed computing (1)
fifth ieee international conference on software engineering and formal methods (sefm 2007), software engineering and formal methods, 2007. sefm 2007. fifth ieee international conference on (1)
fm 2009: formal methods (1)
foundations of software engineering (1)
ieee intelligent systems (1)
ieee software, software, ieee, ieee softw. (1)
ieee transactions on software engineering, software engineering, ieee transactions on, iieee trans. software eng. (1)
information & computation (1)
information and computation (1)
information systems security (9783642177132) (1)
journal of universal computer science (1)
leveraging applications of formal methods (1)
paste: workshop on program analysis for software tools & engineering (1)
perspectives in concurrency theory (1)
proceedings of the 14th acm sigsoft international symposium: foundations of software engineering (1)
proceedings of the 15th acm conference: computer & communications security (1)
proceedings of the 1999 ieee/acm international conference: computer-aided design (1)
proceedings of the 1st acm sigops/eurosys european conference: computer systems 2006 (1)
proceedings of the 2000 ieee/acm international conference: computer-aided design (1)
proceedings of the 2001 acm sigplan-sigsoft workshop: program analysis for software tools & engineering (1)
proceedings of the 2008 international symposium: software testing & analysis (1)
proceedings of the 2009 acm sigplan conference: programming language design & implementation (1)
proceedings of the 23rd acm sigplan conference: object-oriented programming systems languages & applications (1)
proceedings of the 30th acm sigplan-sigact symposium principles of programming languages (1)
tests and proofs (1)
tools and algorithms for the construction and analysis of systems (1)