journal of automated reasoning (8)
ieee transactions on vehicular technology (4)
acm transactions on programming languages & systems (3)
international journal on software tools for technology transfer (3)
automated software engineering (2)
ieee transactions on industrial informatics (2)
12th ieee international conference on engineering complex computer systems (iceccs 2007), engineering complex computer systems, 2007. 12th ieee international conference on (1)
2008 32nd annual ieee international computer software and applications conference, computer software and applications, 2008. compsac '08. 32nd annual ieee international (1)
2010 8th ieee international conference on software engineering and formal methods, software engineering and formal methods (sefm), 2010 8th ieee international conference on (1)
2015 20th international conference on engineering of complex computer systems (iceccs) (1)
2015 20th international conference on engineering of complex computer systems (iceccs), engineering of complex computer systems (iceccs), 2015 20th international conference on (1)
2015 ieee 26th international symposium on software reliability engineering (issre) (1)
2015 ieee 26th international symposium on software reliability engineering (issre), software reliability engineering (issre), 2015 ieee 26th international symposium on (1)
2017 32nd ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2017 32nd ieee/acm international conference on (1)
2019 24th international conference on engineering of complex computer systems (iceccs), engineering of complex computer systems (iceccs), 2019 24th international conference on, iceccs (1)
2020 25th international conference on engineering of complex computer systems (iceccs), engineering of complex computer systems (iceccs), 2020 25th international conference on, iceccs (1)
2020 ieee symposium on security and privacy (sp), security and privacy (sp), 2020 ieee symposium on (1)
automated software engineering: an international journal (1)
design automation for embedded systems (1)
fm 2016: formal methods (1)
formal methods (1)
formal methods in system design: an international journal (1)
formal methods---the next 30 years (1)
ieee transactions on dependable and secure computing (1)
interactive theorem proving (1)
proceedings of the 9th acm conference: embedded networked sensor systems (1)
the journal of clinical investigation (1)
tools & algorithms for the construction & analysis of systems (9783662496732) (1)
verification, model checking & abstract interpretation (9783642358722) (1)
verification, model checking, and abstract interpretation (1)
verified software: theories, tools & experiments (1)