journal of automated reasoning (9)
2019 ieee/aiaa 38th digital avionics systems conference (dasc), digital avionics systems conference (dasc), 2019 ieee/aiaa 38th (2)
fm 2014: formal methods (2)
interactive theorem proving (2)
journal of research of the university of quindio / revista de investigaciones universidad del quindio (2)
reliable computing (2)
science of computer programming (2)
tests and proofs (2)
theoretical computer science (2)
11th annual ieee symposium on logic in computer science (new brunswick, nj, 1996) (1)
12th international conference on interactive theorem proving (1)
2014 ieee conference on control applications (cca) (1)
2014 ieee conference on control applications (cca), control applications (cca), 2014 ieee conference on (1)
2015 17th international symposium on symbolic & numeric algorithms for scientific computing (synasc) (1)
2015 17th international symposium on symbolic and numeric algorithms for scientific computing (synasc), symbolic and numeric algorithms for scientific computing (synasc), 2015 17th international symposium on (1)
2018 ieee/aiaa 37th digital avionics systems conference (dasc), digital avionics systems conference (dasc), 2018 ieee/aiaa 37th (1)
2020 aiaa/ieee 39th digital avionics systems conference (dasc), digital avionics systems conference (dasc), 2020 ieee/aiaa 39th (1)
acm sigsoft software engineering notes (1)
algebraic and logic programming (southampton, 1997) (1)
formal aspects of computing (1)
formal methods (1)
formal methods for industrial critical systems (9783642045691) (1)
formal methods---the next 30 years (1)
innovations in systems and software engineering: a nasa journal (1)
institute of electrical and electronics engineers. transactions on computers (1)
interactive theorem proving: 6th international conference, itp 2015, nanjing, china, august 24-27, 2015, proceedings (1)
journal of formalized reasoning (1)
journal of logical and algebraic methods in programming (1)
logic, language, information, and computation (1)
logic-based program synthesis and transformation (1)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (1)
model checking & artificial intelligence (9783642004308) (1)
proceedings of the 2004 acm sigsoft international symposium: software testing & analysis (1)
proceedings---18th international workshop on logical and semantic frameworks, with applications and 10th workshop on horn clauses for verification and synthesis (1)
rewriting logic and its applications (1)
tests & proofs (9783319212142) (1)
the journal of logic and algebraic programming (1)
theorem proving in higher order logics (1)
theoretical aspects of computing - ictac 2015 (1)
theoretical aspects of computing---ictac 2015 (1)
tools for practical software verification (1)
verification, model checking, and abstract interpretation (1)