international journal on software tools for technology transfer (9)
runtime verification (7)
automated reasoning (4)
automated deduction---cade 27 (3)
frontiers of combining systems: 10th international symposium, frocos 2015, wroclaw, poland, september 21-24, 2015. proceedings (3)
automated deduction - cade-25 (2)
automated deduction---cade 25 (2)
automated reasoning with analytic tableaux and related methods (2)
automated reasoning. part i (2)
epj web of conferences (2)
fm 2012: formal methods (2)
frontiers of combining systems (2)
journal on satisfiability, boolean modeling and computation (2)
runtime verification (9783319469812) (2)
2013 28th ieee/acm international conference on automated software engineering (ase) (1)
2013 28th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2013 ieee/acm 28th international conference on (1)
2020 35th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2020 35th ieee/acm international conference on, ase (1)
2020 international conference on cyber situational awareness, data analytics and assessment (cybersa), cyber situational awareness, data analytics and assessment (cybersa) (1)
2021 formal methods in computer aided design (fmcad), computer aided design (fmcad), 2021 formal methods in (1)
2022 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2022 (1)
2022 ieee international conference on big data (big data), big data (big data), 2022 ieee international conference on (1)
2022 ieee secure development conference (secdev), secure development conference (secdev), 2022 ieee, secdev (1)
acm sigsoft software engineering notes (1)
automated reasoning (9783319402284) (1)
automated reasoning. part ii (1)
formal modeling & verification of cyber-physical systems (1)
formal modeling and verification of cyber-physical systems (1)
intelligent computer mathematics (1)
journal on satisfiability, boolean modeling & computation (1)
leveraging applications of formal methods, verification & validation: discussion, dissemination, applications (1)
leveraging applications of formal methods, verification & validation: foundational techniques (1)
leveraging applications of formal methods, verification and validation. part i (1)
models, algorithms, logics and tools (1)
principles of systems design---essays dedicated to thomas a. henzinger on the occasion of his 60th birthday (1)
tests and proofs (1)
theory & applications of satisfiability testing - sat 2016 (1)
theory and applications of satisfiability testing---sat 2016 (1)
tools & algorithms for the construction & analysis of systems 21st international conference, tacas 2015, held as part of the european joint conferences on theory & practice of software, etaps 2015, london, uk, april 11-18, 2015, proceedings (1)