icse: international conference on software engineering (8)
communications of the acm (4)
ieee software (3)
journal of automated reasoning (3)
nasa formal methods 7th international symposium, nfm 2015, pasadena, ca, usa, april 27-29, 2015, proceedings (3)
2011 33rd international conference on software engineering (icse) (2)
2011 33rd international conference on software engineering (icse), software engineering (icse), 2011 33rd international conference on (2)
acm sigada ada letters (2)
computer (00189162) (2)
ieee software, software, ieee, ieee softw. (2)
nasa formal methods (9783642288906) (2)
proceedings of the 6th european software engineering conference held jointly with the 5th acm sigsoft international symposium: foundations of software engineering (2)
10th ieee high assurance systems engineering symposium (hase'07), high assurance systems engineering symposium, 2007. hase '07. 10th ieee (1)
2008 ieee/aiaa 27th digital avionics systems conference, digital avionics systems conference, 2008. dasc 2008. ieee/aiaa 27th (1)
2012 first ieee international workshop on the twin peaks of requirements & architecture (twinpeaks) (1)
2012 first ieee international workshop on the twin peaks of requirements and architecture (twinpeaks), twin peaks of requirements and architecture (twin peaks), 2012 ieee first international workshop on the (1)
2013 35th international conference on software engineering (icse) (1)
2015 acm/ieee international conference on formal methods & models for codesign (memocode) (1)
2015 acm/ieee international conference on formal methods and models for codesign (memocode), formal methods and models for codesign (memocode), 2015 acm/ieee 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 24th international requirements engineering conference (re) (1)
2016 ieee 24th international requirements engineering conference (re), requirements engineering conference (re), 2016 ieee 24th international, requirements engineering conference, 2016 ieee 24th international (1)
2016 ieee/acm 4th fme workshop on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2016 ieee/acm 4th fme workshop on, formalise (1)
2017 32nd ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2017 32nd ieee/acm international conference on (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)
2023 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2023 (1)
25th international conference on theory and applications of satisfiability testing (1)
acm sigsoft software engineering notes (1)
automated deduction---cade-18 (1)
automated software engineering (1)
automated software engineering: an international journal (1)
computer (1)
design & verification of microprocessor systems for high-assurance applications (1)
formal methods (1)
ieee design & test (1)
ieee design & test of computers (1)
international journal on software tools for technology transfer (1)
nasa formal methods (9783319406473) (1)
proceedings of the 2000 international conference on software engineering, icse 2000 the new millennium (1)
proceedings of the 2006 international symposium: software testing & analysis (1)
proceedings of the 2011 international symposium: software testing & analysis (1)
proceedings of the 22nd international conference software engineering (1)
proceedings of the 30th international conference: software engineering (1)
proceedings of the 4th fme workshop on formal methods in software engineering (1)
proceedings of the fse/sdp workshop: future of software engineering research (1)
reliability engineering & system safety (1)
reliability engineering and system safety (1)
sigada: annual international conference on ada (1)
tools and algorithms for the construction and analysis of systems (1)