verification, model checking & abstract interpretation (978-3-540-69735-0) (27)
communications of the acm (11)
computer aided verification (9)
acm / sigplan notices (8)
acm sigplan notices (7)
formal methods in system design (7)
electronic notes in theoretical computer science (4)
entcs: electronic notes in theoretical computer science (4)
formal aspects of computing (4)
formal methods in system design: an international journal (4)
computer aided verification (9783540374060) (3)
ieee transactions on computer-aided design of integrated circuits & systems (3)
logical methods in computer science (3)
scientific reports (3)
static analysis (3)
theoretical computer science (3)
2014 formal methods in computer-aided design (fmcad) (2)
2014 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2014 (2)
computer aided verification (9783540272311) (2)
computer aided verification (9783540705437) (2)
computer aided verification (9783540733676) (2)
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 (2)
journal of the acm (2)
journal on satisfiability, boolean modeling and computation (2)
proceedings of the 2007 acm sigplan conference: programming language design & implementation (2)
proceedings of the 34th annual acm sigplan-sigact symposium principles of programming languages (2)
proceedings of the 34th annual acm sigplan-sihact symposium: principles of programming languages (2)
proceedings of the second acm sigplan international conference: functional programming (2)
verification, model checking, and abstract interpretation (2)
2007 5th ieee/acm international conference on formal methods and models for codesign (memocode 2007), formal methods and models for codesign, 2007. memocode 2007. 5th ieee/acm international conference on (1)
2017 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2017 (1)
2018 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2018 (1)
2020 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2020 (1)
2020 ieee/acm 42nd international conference on software engineering: software engineering in practice (icse-seip), software engineering: software engineering in practice (icse-seip), 2020 ieee/acm 42nd international conference on, icse-seip (1)
2023 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2023 (1)
acm sigops operating systems review (1)
automated deduction---cade-23 (1)
computer aided verification (9783319088662) (1)
computer aided verification. part i (1)
concur 2011---concurrency theory (1)
formal aspects of computing: applicable formal methods (1)
formal methods & software engineering (1)
formal methods in computer-aided design (978-3-540-41219-9) (1)
ieee software (1)
international journal on software tools for technology transfer (1)
model checking software (1)
parkett (1)
static analysis (9783540285847) (1)
tools and algorithms for the construction and analysis of systems (1)
twenty-seventh conference on the mathematical foundations of programming semantics (mfps xxvii) (1)