international journal on software tools for technology transfer (4)
science of computer programming (4)
annals of mathematics and artificial intelligence (3)
formal aspects of computing (3)
ieee transactions on computer-aided design of integrated circuits & systems (3)
software & systems modeling (3)
abstract state machines, alloy, b, tla, vdm & z (2)
acm transactions on modeling and computer simulation (2)
annals of mathematics & artificial intelligence (2)
2011 eighteenth international symposium on temporal representation and reasoning, temporal representation and reasoning (time), 2011 eighteenth international symposium on (1)
2018 ieee workshop on monitoring and testing of cyber-physical systems (mt-cps), monitoring and testing of cyber-physical systems (mt-cps), 2018 ieee workshop on, mt-cps (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)
2022 ieee international conference on software analysis, evolution and reengineering (saner), software analysis, evolution and reengineering (saner),2022 ieee international conference on, saner (1)
abstract state machines, alloy, b, tla, vdm & z (9783319335995) (1)
abstract state machines, alloy, b, tla, vdm, and z (1)
acm international conference proceeding series (1)
acm transactions on modeling & computer simulation (1)
acm transactions on modeling and computer simulation (tomacs) - special issue on qest 2019 (1)
computer aided verification. part ii (1)
distributed computing in sensor systems (9783642136504) (1)
formal aspects of computing: applicable formal methods (1)
formal verification of object-oriented software (9783642317613) (1)
hardware & software: verification & testing: 9th international haifa verification conference, hvc 2013, haifa, israel, november 5-7, 2013, proceedings (1)
ieee transactions on computer-aided design of integrated circuits and systems (1)
lecture notes in computer science (1)
proceedings of the 17th workshop on formal techniques for java-like programs (1)
proceedings of the 30th australian conference on computer-human interaction (1)
proceedings of the 35th ieee/acm international conference on automated software engineering (1)
proceedings of the 6th acm conference on embedded network sensor systems (1)
proceedings of the 6th acm conference: embedded network sensor systems (1)
proceedings of the 6th ieee international conference on distributed computing in sensor systems (1)
software and systems modeling (1)
verification, model checking, and abstract interpretation (1)
verified software: theories, tools & experiments: 7th international conference, vstte 2015, san francisco, ca, usa, july 18-19, 2015. revised selected papers (1)
verified software: theories, tools, experiments: 5th international conference, vstte 2013, menlo park, ca, usa, may 17-19, 2013, revised selected papers (1)