proceedings of the acm on programming languages (10)
international journal on software tools for technology transfer (5)
formal aspects of computing (4)
fm 2014: formal methods (3)
fm 2015: formal methods (2)
proceedings of the annual meeting of the cognitive science society (2)
12th international conference on interactive theorem proving (1)
2013 35th international conference on software engineering (icse) (1)
2013 35th international conference on software engineering (icse), software engineering (icse), 2013 35th international conference on (1)
2018 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2018 (1)
2019 formal methods in computer aided design (fmcad), computer aided design (fmcad), 2019 formal methods in (1)
2023 ieee symposium on visual languages and human-centric computing (vl/hcc), visual languages and human-centric computing (vl/hcc), 2023 ieee symposium on, vl-hcc (1)
acm / sigplan notices (1)
acm sigplan notices (1)
computer aided verification. part i (1)
corr (1)
formal aspects of computing: applicable formal methods (1)
formal verification of object-oriented software (9783642317613) (1)
icse: international conference on software engineering (1)
proceedings of the 2013 international conference on software engineering (1)
proceedings of the 21st international conference on tools and algorithms for the construction and analysis of systems (tacas). lecture notes in computer science, 9035:566--580, springer, april 2015 (1)
proceedings of the 27th acm sigplan symposium on principles and practice of parallel programming (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 33rd annual acm symposium on user interface software and technology (1)
proceedings of the 37th acm sigplan conference on programming language design and implementation (1)
proceedings of the 40th acm sigplan conference on programming language design and implementation (1)
proceedings of the 42nd acm sigplan international conference on programming language design and implementation (1)
proceedings of the eighteenth international symposium on software testing and analysis (1)
proceedings of the eighteenth international symposium: software testing & analysis (1)
runtime verification (9783642407864) (1)
tools & algorithms for the construction & analysis of systems 21st international conference, tacas 2015, held as part of the european joint conferences on theory & practice of software, etaps 2015, london, uk, april 11-18, 2015, proceedings (1)
tools and algorithms for the construction and analysis of systems, tacas 2017, pt i (1)
verified software: theories, tools, experiments (9783642150562) (1)
verified software: theories, tools, experiments (9783642277047) (1)
verified software: theories, tools, experiments: 5th international conference, vstte 2013, menlo park, ca, usa, may 17-19, 2013, revised selected papers (1)