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 and models for codesign (memocode), formal methods and models for codesign (memocode), 2015 acm/ieee international conference on (2)
electronic notes in theoretical computer science (2)
it - information technology (2)
proceedings of the 30th acm sigplan conference on programming language design and implementation (2)
proceedings of the 33rd annual acm symposium on user interface software and technology (2)
proceedings of the 37th annual acm sigplan-sigact symposium on principles of programming languages (2)
proceedings of the the 6th joint meeting of the european software engineering conference and the acm sigsoft symposium on the foundations of software engineering (2)
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), software engineering (icse), 2012 34th international conference on (1)
2015 ieee symposium on security and privacy, security and privacy (sp), 2015 ieee symposium on (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 sigplan notices - popl '10 (1)
acm transactions on software engineering and methodology (tosem) (1)
computer aided verification (1)
entcs: electronic notes in theoretical computer science (1)
proceedings of the 13th international conference on embedded software (1)
proceedings of the 17th acm conference on computer and communications security (1)
proceedings of the 2007 ieee/acm international conference on computer-aided design (1)
proceedings of the 2017 chi conference on human factors in computing systems (1)
proceedings of the 2018 chi conference on human factors in computing systems (1)
proceedings of the 2020 chi conference on human factors in computing systems (1)
proceedings of the 20th acm sigplan international conference on generative programming: concepts and experiences (1)
proceedings of the 23rd acm sigplan conference on object-oriented programming systems languages and applications (1)
proceedings of the 28th acm sigplan conference on programming language design and implementation (1)
proceedings of the 29th acm joint meeting on european software engineering conference and symposium on the foundations of software engineering (1)
proceedings of the 29th acm sigplan conference on programming language design and implementation (1)
proceedings of the 29th acm sigplan-sigact symposium on principles of programming languages (1)
proceedings of the 29th international conference on software engineering (1)
proceedings of the 2nd workshop on refactoring tools (1)
proceedings of the 31st acm sigplan conference on programming language design and implementation (1)
proceedings of the 32nd acm sigplan conference on programming language design and implementation (1)
proceedings of the 32nd acm sigplan-sigact symposium on principles of programming languages (1)
proceedings of the 33rd acm sigplan conference on programming language design and implementation (1)
proceedings of the 33rd annual acm conference on human factors in computing systems (1)
proceedings of the 34th international conference on software engineering (1)
proceedings of the 35th acm sigplan conference on programming language design and implementation (1)
proceedings of the 36th acm sigplan conference on programming language design and implementation (1)
proceedings of the 36th annual acm sigplan-sigact symposium on principles of programming languages (1)
proceedings of the 39th acm sigplan conference on programming language design and implementation (1)
proceedings of the 3rd acm sigplan workshop on evaluation and usability of programming languages and tools (1)
proceedings of the 41st acm sigplan conference on programming language design and implementation (1)