automated reasoning with analytic tableaux & related methods (9783540289319) (28)
verification of object-oriented software. the key approach (17)
journal of automated reasoning (15)
formal aspects of computing (5)
software & systems modeling (5)
ieee intelligent systems (4)
automated reasoning (3)
journal of symbolic computation (3)
studia logica (3)
2017 ieee 15th international conference on industrial informatics (indin), industrial informatics (indin), 2017 ieee 15th international conference on (2)
automated deduction---a basis for applications, vol. i (2)
automated deduction---cade-24 (2)
automated reasoning with analytic tableaux and related methods (oisterwijk, 1998) (2)
automatisierungstechnik (2)
computer science logic (paderborn, 1995) (2)
deductive software verification---the key book (2)
formal aspects of computing: applicable formal methods (2)
it - information technology (2)
journal of logic and computation (2)
ki - kunstliche intelligenz: organ des fachbereichs "kunstliche intelligenz" der gesellschaft fur informatik e.v. -german journal on artificial intelligence (2)
ki 2012: advances in artificial intelligence (2)
studia logica: an international journal for symbolic logic (2)
tests and proofs (2)
2015 ieee 20th conference on emerging technologies & factory automation (etfa), emerging technologies & factory automation (etfa), 2015 ieee 20th conference on (1)
2015 ieee 28th computer security foundations symposium, computer security foundations symposium (csf), 2015 ieee 28th (1)
2016 ieee international symposium on assembly and manufacturing (isam), assembly and manufacturing (isam), 2016 ieee international symposium on (1)
2018 ieee 14th international conference on automation science and engineering (case), automation science and engineering (case), 2018 ieee 14th international conference on (1)
2019 ieee 17th international conference on industrial informatics (indin), industrial informatics (indin), 2019 ieee 17th international conference on (1)
2020 ieee/acm 15th international symposium on software engineering for adaptive and self-managing systems (seams), software engineering for adaptive and self-managing systems (seams), 2020 ieee/acm 15th international symposium on, seams (1)
2020 ieee/acm 8th international conference on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2020 ieee/acm 8th international conference on, formalise (1)
2021 ieee 19th international conference on industrial informatics (indin), industrial informatics (indin), 2021 ieee 19th international conference on (1)
2022 ieee international conference on decentralized applications and infrastructures (dapps), decentralized applications and infrastructures (dapps), 2022 ieee international conference on, dapps (1)
2023 ieee international conference on decentralized applications and infrastructures (dapps), decentralized applications and infrastructures (dapps), 2023 ieee international conference on, dapps (1)
2023 ieee international conference on quantum software (qsw), quantum software (qsw). 2023 ieee international conference on, qsw (1)
29th ieee international symposium on multiple-valued logic (freiburg im breisgau, 1999) (1)
30th ieee international symposium on multiple-valued logic (ismvl 2000) (portland, or) (1)
at - automatisierungstechnik (1)
at-automatisierungstechnik (1)
automated reasoning with analytic tableaux and related methods (pont-a-mousson, 1997) (1)
computational logic and proof theory (brno, 1993) (1)
dgri jahrbuch 2021/2022 (1)
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 (1)
formal methods and software engineering (1)
handbook of tableau methods (1)
ieee intelligent systems, intelligent systems, ieee, ieee intell. syst. (1)
informatik spektrum: organ der gesellschaft fur informatik e.v. und mit ihr assoziierter organisationen (1)
informatik-spektrum: organ der gesellschaft fur informatik e.v. und mit ihr assoziierter organisationen (1)
journal of information security & applications (1)
journal of information security and applications (1)
software and systems modeling (1)