journal of automated reasoning (8)
acta informatica (5)
acm sigplan notices (4)
communications of the acm (4)
formal aspects of computing (4)
journal of symbolic computation (4)
journal of the acm (4)
formal methods in system design (3)
international journal on software tools for technology transfer (3)
verification, model checking, and abstract interpretation (3)
acm / sigplan notices (2)
acm sigcomm computer communication review (2)
automated reasoning (9783540710691) (2)
automated reasoning (9783642142024) (2)
computer aided verification (9783319088662) (2)
information processing letters (2)
journal of computer and system sciences (2)
logic for programming, artificial intelligence, and reasoning (2)
theoretical computer science (2)
2009 11th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2009 11th international symposium on (1)
2009 formal methods in computer-aided design, formal methods in computer-aided design, 2009. fmcad 2009 (1)
2017 ieee/acm 39th international conference on software engineering (icse), software engineering (icse), 2017 ieee/acm 39th international conference on, icse (1)
2019 21st international symposium on symbolic and numeric algorithms for scientific computing (synasc), symbolic and numeric algorithms for scientific computing (synasc), 2019 21st international symposium on (1)
2019 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2019 (1)
2023 60th acm/ieee design automation conference (dac), design automation conference (dac), 2023 60th acm/ieee (1)
acm sigada ada letters (1)
agents & artificial intelligence: 6th international conference, icaart 2014, angers, france, march 6-8, 2014, revised selected papers (1)
automated deduction - cade-21 (1)
automated reasoning (9783642313646) (1)
automated reasoning: 7th international joint conference, ijcar 2014, held as part of the vienna summer of logic, vsl 2014, vienna, austria, july 19-22, 2014. proceedings (1)
computer aided verification (9783642026577) (1)
correct reasoning (1)
distributed computing & internet technology 11th international conference, icdcit 2015, bhubaneswar, india, february 5-8, 2015. proceedings (1)
entcs: electronic notes in theoretical computer science (1)
epic series in computing (1)
fields of logic & computation (1)
formal aspects of computing: applicable formal methods (1)
formal methods & hybrid real-time systems (1)
formal methods in system design: an international journal (1)
formal methods: foundations & applications (1)
formal modeling & analysis of timed systems (9783642043673) (1)
formal techniques for networked & distributed systems - forte 2008 (1)
hardware & software: verification & testing (9783319490519) (1)
hardware & software: verification & testing (9783642396106) (1)
ieee/ifip international conference on dependable systems & networks (dsn 2012) (1)
ieee/ifip international conference on dependable systems and networks (dsn 2012), dependable systems and networks (dsn), 2012 42nd annual ieee/ifip international conference on (1)
indrastra global (1)
journal of computer & system sciences (1)
proceedings of the second nasa formal methods symposium (1)
rewriting techniques & applications (9783540677789) (1)