You can manage bookmarks using lists, please log in to your user account for this.
New York, NY: ACM Press, 1966-
/
1.1966 -
Association for Computing Machinery SpecialInterestGrouponProgrammingLanguages,
Institute of Electrical and Electronics Engineers,
Association for Computing Machinery
You can manage bookmarks using lists, please log in to your user account for this.
Piscataway, NJ: IEEE, 2009
Giacobazzi, Roberto
[Author]
;
Association for Computing Machinery,
Association for Computing Machinery SpecialInterestGrouponProgrammingLanguages,
Association for Computing Machinery Special Interest Group on Automata and Computability Theory
You can manage bookmarks using lists, please log in to your user account for this.
New York, NY: ACM, 2013
Published in:ACM Digital Library- ACM Conferences
Field, John
[Author]
;
Association for Computing Machinery,
Association for Computing Machinery SpecialInterestGrouponProgrammingLanguages,
Association for Computing Machinery Special Interest Group on Automata and Computability Theory
You can manage bookmarks using lists, please log in to your user account for this.
New York, NY: ACM, 2012
Published in:ACM Digital Library- ACM Conferences
Ball, Thomas
[Author]
;
Association for Computing Machinery,
Association for Computing Machinery SpecialInterestGrouponProgrammingLanguages,
Association for Computing Machinery Special Interest Group on Automata and Computability Theory
You can manage bookmarks using lists, please log in to your user account for this.
New York, NY: ACM, 2011
Published in:ACM Digital Library- ACM Conferences
Hermenegildo, Manuel
[Author]
;
Association for Computing Machinery,
Association for Computing Machinery SpecialInterestGrouponProgrammingLanguages,
Association for Computing Machinery Special Interest Group on Automata and Computability Theory
You can manage bookmarks using lists, please log in to your user account for this.
New York, NY: ACM, 2010
Published in:ACM Digital Library- ACM Conferences
Shao, Zhong
[Author]
;
Association for Computing Machinery,
Association for Computing Machinery SpecialInterestGrouponProgrammingLanguages,
Association for Computing Machinery Special Interest Group on Automata and Computability Theory
You can manage bookmarks using lists, please log in to your user account for this.
New York, NY: ACM, 2009
Published in:ACM Digital Library- ACM Conferences
Claessen, Koen
[Other];
Kuncak, Viktor
[Other]
;
Association for Computing Machinery SpecialInterestGrouponProgrammingLanguages,
Association for Computing Machinery Special Interest Group on Software Engineering,
IEEE Council on Electronic Design Automation
You can manage bookmarks using lists, please log in to your user account for this.
Piscataway, NJ: IEEE, 2014
Stewart, Daryl
[Editor];
Weissenbacher, Georg
[Editor]
;
FMCAD 17. 2017 Wien,
Institute of Electrical and Electronics Engineers,
Association for Computing Machinery SpecialInterestGrouponProgrammingLanguages,
Association for Computing Machinery Special Interest Group on Software Engineering
You can manage bookmarks using lists, please log in to your user account for this.
New York, NY: ACM, 1984-2020
/
Volume 3, no. 3 (Dec. 1984)-volume 39, no. 1 (Apr. 2020) ; damit Erscheinen eingestellt
Verbrugge, Clark
[Author]
;
ACM SIGPLAN International Conference on Compiler Construction 32. 2023 Montréal,
ACMSpecialInterestGrouponProgrammingLanguages,
ACM SIGs
Piskac, Ruzica
[Editor];
Talupur, Muralidhar
[Editor]
;
Conference on Formal Methods in Computer-Aided Design 16. 2016 Mountain View, Calif,
Institute of Electrical and Electronics Engineers,
Association for Computing Machinery SpecialInterestGrouponProgrammingLanguages,
Association for Computing Machinery Special Interest Group on Software Engineering,
IEEE Council on Electronic Design Automation
You can manage bookmarks using lists, please log in to your user account for this.
[Piscataway, NJ]: IEEE, 2016
Kaivola, Roope
[Editor];
Wahl, Thomas
[Editor]
;
FMCAD 15. 2015 Austin, Tex,
Institute of Electrical and Electronics Engineers,
Association for Computing Machinery SpecialInterestGrouponProgrammingLanguages,
Association for Computing Machinery Special Interest Group on Software Engineering,
IEEE Council on Electronic Design Automation
You can manage bookmarks using lists, please log in to your user account for this.
[Piscataway, NJ]: IEEE, 2015
Bjørner, Nikolaj
[Editor];
Gurfinkel, Arie
[Editor]
;
FMCAD 18. 2018 Austin, Tex,
Institute of Electrical and Electronics Engineers,
Institute of Electrical and Electronics Engineers,
Association for Computing Machinery SpecialInterestGrouponProgrammingLanguages,
Association for Computing Machinery Special Interest Group on Software Engineering