annals of hematology (7)
formal methods in system design (6)
acm sigsoft software engineering notes (5)
icse: international conference on software engineering (5)
schizophrenia bulletin (5)
automated software engineering (4)
comprehensive psychiatry (4)
international journal on software tools for technology transfer (4)
journal of neural transmission (4)
systems engineering (4)
formal methods in system design: an international journal (3)
iet software (institution of engineering & technology) (3)
psychopharmacology (3)
2011 ieee international conference on systems, man, and cybernetics, systems, man, and cybernetics (smc), 2011 ieee international conference on (2)
annals of gastroenterology (2)
annals of mathematics & artificial intelligence (2)
annals of mathematics and artificial intelligence (2)
automated software engineering: an international journal (2)
clinical gastroenterology & hepatology (2)
clinical gastroenterology and hepatology (2)
fm 2008: formal methods (2)
fm 2015: formal methods (2)
formal aspects of computing (2)
ieee transactions on human-machine systems (2)
journal of neuroscience research (2)
physiology & behavior (2)
proceedings of the 6th european software engineering conference held jointly with the 5th acm sigsoft international symposium: foundations of software engineering (2)
2009 ieee aerospace conference, aerospace conference, 2009 ieee (1)
2010 8th ieee international conference on software engineering and formal methods, software engineering and formal methods (sefm), 2010 8th ieee international conference on (1)
2011 33rd international conference on software engineering (icse), software engineering (icse), 2011 33rd international conference on (1)
2019 ieee/aiaa 38th digital avionics systems conference (dasc), digital avionics systems conference (dasc), 2019 ieee/aiaa 38th (1)
2020 ieee 28th international requirements engineering conference (re), requirements engineering conference (re), 2020 ieee 28th international (1)
annals of gastroenterology : quarterly publication of the hellenic society of gastroenterology (1)
birth defects research part b-developmental and reproductive toxicology (1)
computer aided verification (1)
computer aided verification. part ii (1)
formal aspects of computing: applicable formal methods (1)
formal methods (1)
handbook of model checking (1)
iet software (1)
information & software technology (1)
information and software technology (1)
innovations in systems and software engineering: a nasa journal (1)
journal of internet services and applications (1)
leveraging applications of formal methods, verification and validation. part ii. verification (1)
models, mindsets, meta---the what, the how, and the why not? (1)
semantics, abstract interpretation, and reasoning about programs: essays dedicated to david a. schmidt on the occasion of his sixtieth birthday (1)
static analysis (1)
the handbook of formal methods in human-computer interaction (1)
tools and algorithms for the construction and analysis of systems (1)