acm sigsoft software engineering notes (4)
ai magazine (4)
acm / sigplan notices (3)
icse: international conference on software engineering (3)
acm sigplan notices (2)
automated software engineering (2)
ieee transactions on human-machine systems (2)
studia logica (2)
studia logica: an international journal for symbolic logic (2)
2010 acm/ieee 32nd international conference on software engineering, software engineering, 2010 acm/ieee 32nd international conference on (1)
2011 26th ieee/acm international conference on automated software engineering (ase 2011), automated software engineering (ase), 2011 26th ieee/acm international conference on (1)
2011 ieee international conference on systems, man, and cybernetics, systems, man, and cybernetics (smc), 2011 ieee international conference on (1)
2012 28th ieee international conference on software maintenance (icsm), software maintenance (icsm), 2012 28th ieee international conference on (1)
2013 28th ieee/acm international conference on automated software engineering (ase) (1)
2013 28th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2013 ieee/acm 28th international conference on (1)
2013 35th international conference on software engineering (icse) (1)
2013 35th international conference on software engineering (icse), software engineering (icse), 2013 35th international conference on (1)
2015 ieee/acm 37th ieee international conference on software engineering (1)
2015 ieee/acm 37th ieee international conference on software engineering, software engineering (icse), 2015 ieee/acm 37th ieee international conference on (1)
2016 ieee/acm 8th international workshop on modeling in software engineering (mise), modeling in software engineering (mise), 2016 ieee/acm 8th international workshop on, mise (1)
2018 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2018 (1)
acm transactions on software engineering & methodology (1)
acm transactions on software engineering and methodology (1)
acm/sigplan workshop partial evaluation & semantics-based program manipulation (1)
automated software engineering: an international journal (1)
computer aided verification (1)
computer aided verification. part i (1)
formal methods in computer aided design (fmcad'07) (1)
formal methods in computer aided design (fmcad'07), formal methods in computer aided design, 2007. fmcad '07 (1)
hardware & software: verification & testing (9783642017018) (1)
ieee software (1)
innovations in systems & software engineering (1)
innovations in systems and software engineering: a nasa journal (1)
model checking software (9783540733690) (1)
model checking software (9783642026515) (1)
model checking software (9783642391750) (1)
nasa formal methods 7th international symposium, nfm 2015, pasadena, ca, usa, april 27-29, 2015, proceedings (1)
proceedings of the 16th acm symposium: principles & practice of parallel programming (1)
proceedings of the 2009 acm sigplan workshop: partial evaluation & program manipulation (1)
proceedings of the 2011 international symposium: software testing & analysis (1)
proceedings of the 20th ieee/acm international conference: automated software engineering (1)
proceedings of the 32nd acm sigplan conference: programming language design & implementation (1)
proceedings of the 7th workshop: parallel & distributed systems (1)
proceedings of the 8th international workshop on modeling in software engineering (1)
proceedings of the ieee/acm international conference: automated software engineering (1)
studia logica. an international journal for symbolic logic (1)
the handbook of formal methods in human-computer interaction (1)
verification, model checking & abstract interpretation: 17th international conference, vmcai 2016, st. petersburg, fl, usa, january 17-19, 2016. proceedings (1)
verification, model checking, and abstract interpretation (1)