critical care (17)
acm transactions on programming languages & systems (6)
acta informatica (5)
biomed research international (4)
international journal on software tools for technology transfer (4)
oncolog-hematolog (4)
journal of automated reasoning (3)
psycho-oncology (3)
acm / sigplan notices (2)
acm sigplan notices (2)
acm transactions on programming languages and systems (2)
american journal of obstetrics and gynecology (2)
fm 2016: formal methods (2)
internal medicine / medicina interna (2)
mathematical structures in computer science (2)
philosophical transactions of the royal society a: mathematical, physical & engineering sciences (2)
programming languages & systems 24th european symposium on programming, esop 2015, held as part of the european joint conferences on theory & practice of software, etaps 2015, london, uk, april 11-18, 2015, proceedings (2)
science of computer programming (2)
10th ieee high assurance systems engineering symposium (hase'07), high assurance systems engineering symposium, 2007. hase '07. 10th ieee (1)
12th ieee international conference on engineering complex computer systems (iceccs 2007), engineering complex computer systems, 2007. 12th ieee international conference on (1)
2009 third ieee international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering, 2009. tase 2009. third ieee international symposium on (1)
2012 sixth international symposium on theoretical aspects of software engineering (1)
2012 sixth international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering (tase), 2012 sixth international symposium on (1)
2015 30th ieee/acm international conference on automated software engineering (ase) (1)
2015 30th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2015 30th ieee/acm international conference on (1)
2017 32nd ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2017 32nd ieee/acm international conference on (1)
2019 11th international conference on electronics, computers and artificial intelligence (ecai), electronics, computers and artificial intelligence (ecai), 2019 11th international conference on (1)
acm/sigplan workshop partial evaluation & semantics-based program manipulation (1)
american journal of obstetrics & gynecology (1)
applied sciences (2076-3417) (1)
automated technology for verification & analysis (9783642156427) (1)
chemicals as intentional & accidental global environmental threats (1)
computer aided verification. part i (1)
fm 2011: formal methods (1)
formal methods in system design (1)
formal methods in system design: an international journal (1)
hscc'17---proceedings of the 20th international conference on hybrid systems: computation and control (1)
iju case reports (1)
infectious disease clinics of north america (1)
logic for programming, artificial intelligence & reasoning: 20th international conference, lpar-20 2015, suva, fiji, november 24-28, 2015, proceedings (1)
logic for programming, artificial intelligence, and reasoning (1)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (1)
philosophical transactions: mathematical, physical and engineering sciences (1)
proceedings of the 2009 acm sigplan workshop: partial evaluation & program manipulation (1)
proceedings of the 2011 acm international conference: object oriented programming systems languages & applications (1)
proceedings of the 35th annual acm sigplan-sihact symposium: principles of programming languages (1)
proceedings of the acm international conference companion: object oriented programming systems languages & applications companion (9781450309424) (1)
proceedings of the acm sigplan 2014 workshop partial evaluation & program manipulation (9781450326193) (1)
romanian journal of cognitive & behavioral psychotherapies (1)
verification, model checking, and abstract interpretation (1)