acm sigplan notices (19)
acm / sigplan notices (17)
proceedings of the acm on programming languages (12)
communications of the acm (8)
proceedings of the vldb endowment (7)
computer aided verification (5)
international journal on software tools for technology transfer (5)
american men & women of science : a biographical directory of todaya€™s leaders in physical, biological and related sciences: coo-duq (4)
formal methods in system design (3)
american men & women of science : a biographical directory of today???s leaders in physical, biological and related sciences: coo-duq (2)
american men & women of science : a biographical directory of todaya€™s leaders in physical, biological and related sciences: d-ezz (2)
american men & women of science : a biographical directory of today's leaders in physical, biological and related sciences (2)
computer aided verification. part i (2)
computer aided verification. part ii (2)
proceedings of the 29th acm joint meeting on european software engineering conference and symposium on the foundations of software engineering (2)
proceedings of the 35th acm sigplan conference on programming language design and implementation (2)
proceedings of the 43rd acm sigplan international conference on programming language design and implementation (2)
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)
2021 ieee symposium on security and privacy (sp) (1)
2021 ieee symposium on security and privacy (sp), security and privacy (sp), 2021 ieee symposium on, sp (1)
2021 ieee/rsj international conference on intelligent robots and systems (iros), intelligent robots and systems (iros), 2021 ieee/rsj international conference on (1)
2022 ieee/acm 44th international conference on software engineering: software engineering in practice (icse-seip), software engineering: software engineering in practice (icse-seip), 2022 ieee/acm 44th international conference on, icse-seip (1)
2022 ieee/rsj international conference on intelligent robots and systems (iros), intelligent robots and systems (iros), 2022 ieee/rsj international conference on (1)
2024 ieee symposium on security and privacy (sp), symposium on security and privacy (sp), 2024 ieee, sp (1)
computer aided verification (9783319088662) (1)
computer aided verification (9783642026577) (1)
computer aided verification (9783642314230) (1)
computer aided verification. part iii (1)
findings of the association for computational linguistics: emnlp 2021 (1)
formal methods in system design: an international journal (1)
proceedings of the 2013 acm sigplan international conference on object oriented programming systems languages & applications (1)
proceedings of the 2015 acm sigplan international conference on object-oriented programming, systems, languages, and applications (1)
proceedings of the 2017 11th joint meeting on foundations of software engineering (1)
proceedings of the 2018 26th acm joint meeting on european software engineering conference and symposium on the foundations of software engineering (1)
proceedings of the 2021 chi conference on human factors in computing systems (1)
proceedings of the 22nd acm sigsac conference on computer and communications security (1)
proceedings of the 22nd acm sigsoft international symposium on foundations of software engineering (1)
proceedings of the 29th acm sigplan conference on programming language design and implementation (1)
proceedings of the 33rd acm sigplan conference on programming language design and implementation (1)
proceedings of the 35th ieee/acm international conference on automated software engineering (1)
proceedings of the 37th acm sigplan conference on programming language design and implementation (1)
proceedings of the 37th ieee/acm international conference on automated software engineering (1)
proceedings of the 41st acm sigplan conference on programming language design and implementation (1)
proceedings of the 44th international conference on software engineering: software engineering in practice (1)
proceedings of the 58th annual meeting of the association for computational linguistics (1)
proceedings of the acm international conference on object oriented programming systems languages and applications (1)
proceedings of the eighteenth european conference on computer systems (1)
programming languages and systems (1)
transactions of the association for computational linguistics (1)