acm / sigplan notices (14)
acm sigplan notices (13)
ieee transactions on computer-aided design of integrated circuits & systems (3)
logical methods in computer science (3)
2015 acm/ieee international conference on formal methods & models for codesign (memocode) (2)
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 (2)
it - information technology (2)
proceedings of the 2007 ieee acm international conference computer-aided design (2)
proceedings of the 2009 acm sigplan conference: programming language design & implementation (2)
proceedings of the the 6th joint meeting of the european software engineering conference & the acm sigsoft symposium: the foundations of software engineering (2)
2007 ieee/acm international conference on computer-aided design (1)
2007 ieee/acm international conference on computer-aided design, computer-aided design, 2007. iccad 2007. ieee/acm international conference on (1)
2012 34th international conference on software engineering (icse) (1)
2012 34th international conference on software engineering (icse), software engineering (icse), 2012 34th international conference on (1)
2015 ieee symposium on security & privacy (1)
2015 ieee symposium on security and privacy, security and privacy (sp), 2015 ieee symposium on (1)
2016 international conference on embedded software (emsoft) (1)
2016 international conference on embedded software (emsoft), embedded software (emsoft), 2016 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)
2018 annual american control conference (acc), american control conference (acc), 2018 annual (1)
2020 ieee 32nd conference on software engineering education and training (csee&t), software engineering education and training (csee&t), 2020 ieee 32nd conference on (1)
2021 ieee international symposium on high-performance computer architecture (hpca), high-performance computer architecture (hpca), 2021 ieee international symposium on, hpca (1)
29th international conference on software engineering (icse'07), software engineering, 2007. icse 2007. 29th international conference on (1)
acm transactions on software engineering & methodology (1)
acm transactions on software engineering and methodology (1)
computer aided verification (1)
computer aided verification (9783540705437) (1)
electronic notes in theoretical computer science (1)
entcs: electronic notes in theoretical computer science (1)
icse: international conference on software engineering (1)
ieee transactions on computer-aided design of integrated circuits and systems (1)
it: information technology (1)
paste: workshop on program analysis for software tools & engineering (1)
proceedings of the 17th acm conference: computer & communications security (1)
proceedings of the 2007 acm sigplan conference: programming language design & implementation (1)
proceedings of the 2008 acm sigplan conference: programming language design & implementation (1)
proceedings of the 2010 acm sigplan conference: programming language design & implementation (1)
proceedings of the 23rd acm sigplan conference: object-oriented programming systems languages & applications (1)
proceedings of the 29th acm sigplan-sihact symposium: principles of programming languages (1)
proceedings of the 2nd workshop: refactoring tools (1)
proceedings of the 32nd acm sigplan conference: programming language design & implementation (1)
proceedings of the 32nd acm sigplan-sigacy symposium principles of programming languages (1)
proceedings of the 32nd acm sigplan-sihact symposium: principles of programming languages (1)
proceedings of the 33rd acm sigplan conference programming language design & implementation (1)
proceedings of the 35th acm sigplan conference programming language design & implementation (1)
proceedings of the 36th annual acm sigplan-sihact symposium: principles of programming languages (1)
proceedings of the 37th annual acm sigplan-sihact symposium: principles of programming languages (1)
proceedings of the 3rd acm sigplan workshop: evaluation & usability of programming languages & tools (1)
proceedings of the 8th acm sigplan-sigsoft workshop: program analysis for software tools & engineering (1)
static analysis (1)