ieee transactions on computer-aided design of integrated circuits & systems (9)
international journal on software tools for technology transfer (9)
science of computer programming (6)
2021 36th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2021 36th ieee/acm international conference on, ase (4)
formal aspects of computing (4)
information and software technology (4)
information sciences (4)
2021 14th ieee conference on software testing, verification and validation (icst), software testing, verification and validation (icst), 2021 14th ieee conference on, icst (3)
computer aided verification. part i (3)
computer journal (3)
ieee transactions on computer-aided design of integrated circuits and systems (3)
journal of systems & software (3)
2017 ieee international conference on software testing, verification and validation workshops (icstw), software testing, verification and validation workshops (icstw), 2017 ieee international conference on, icstw (2)
2019 ieee international conference on software testing, verification and validation workshops (icstw), software testing, verification and validation workshops (icstw), 2019 ieee international conference on (2)
2021 ieee 21st international conference on software quality, reliability and security (qrs), software quality, reliability and security (qrs), 2021 ieee 21st international conference on, qrs (2)
2022 ieee conference on software testing, verification and validation (icst), software testing, verification and validation (icst), 2022 ieee conference on, icst (2)
2023 38th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2023 38th ieee/acm international conference on, ase (2)
abstract state machines, alloy, b, tla, vdm & z (9783319335995) (2)
abz 2014: the landing gear case study (2)
acm international conference proceeding series (2)
acm transactions on software engineering & methodology (2)
applied soft computing (2)
computer (00189162) (2)
empirical software engineering (2)
ieee transactions on software engineering (2)
information & software technology (2)
software & systems modeling (2)
software testing: verification & reliability (2)
2013 ieee sixth international conference on software testing, verification & validation workshops (1)
2014 ieee seventh international conference on software testing, verification & validation workshops (1)
2015 acm/ieee international conference on formal methods & models for codesign (memocode) (1)
2015 ieee 8th international conference on software testing, verification & validation (icst) (1)
2015 ieee eighth international conference on software testing, verification & validation workshops (icstw) (1)
2015 ieee/acm 10th international symposium on software engineering for adaptive & self-managing systems (1)
2016 ieee international conference on software testing, verification & validation (icst) (1)
abstract state machines, alloy, b & z (1)
abstract state machines, alloy, b, tla, vdm, and z (1)
abstract state machines, alloy, b, vdm & z (1)
acm sigapp applied computing review (1)
acm transactions on autonomous & adaptive systems (1)
acm transactions on autonomous and adaptive systems (1)
acm transactions on software engineering and methodology (1)
computer (1)
empirical software engineering: an international journal (1)
flexible query answering systems (9783642407680) (1)
handbook of research on innovative database query processing techniques (1)
ieee transactions on dependable and secure computing (1)
journal of systems and software (1)
software testing verification & reliability (1)
software-practice & experience (1)