acm transactions on programming languages & systems (9)
acm / sigplan notices (8)
formal methods in system design (8)
international journal on software tools for technology transfer (6)
journal of computer security (6)
computers & security (5)
formal methods in system design: an international journal (5)
journal of logic and computation (4)
journal of systems architecture (4)
runtime verification (4)
theoretical computer science (4)
acm sigplan notices (3)
acm/sigplan workshop partial evaluation & semantics-based program manipulation (3)
electronic notes in theoretical computer science (3)
ieee transactions on computers (3)
ieee transactions on dependable and secure computing (3)
ieee transactions on software engineering (3)
logical foundations of computer science (3)
acm sigops european workshop (2)
acm transactions on programming languages and systems (2)
distributed computing (2)
entcs: electronic notes in theoretical computer science (2)
fm 2016: formal methods (2)
proceedings of the 2000 acm sigplan workshop: partial evaluation & semantics-based program manipulation (2)
proceedings of the 23rd acm sigplan-sihact symposium: principles of programming languages (2)
proceedings of the tenth acm sigplan symposium: principles & practice of parallel programming (2)
science of computer programming (2)
science of computer programming. methods of software design: techniques and applications (2)
2008 eighth ieee international working conference on source code analysis and manipulation, source code analysis and manipulation, 2008 eighth ieee international working conference on (1)
2008 ieee international symposium on parallel and distributed processing, parallel and distributed processing, 2008. ipdps 2008. ieee international symposium on (1)
2010 international conference on network and service management, network and service management (cnsm), 2010 international conference on (1)
2011 international green computing conference and workshops, green computing conference and workshops (igcc), 2011 international (1)
2013 10th international conference and expo on emerging technologies for a smarter world (cewit), emerging technologies for a smarter world (cewit), 2013 10th international conference and expo on (1)
2014 tenth european dependable computing conference, dependable computing conference (edcc), 2014 tenth european (1)
2020 ieee international conference on autonomic computing and self-organizing systems (acsos), autonomic computing and self-organizing systems (acsos), 2020 ieee international conference on (1)
2021 american control conference (acc), american control conference (acc), 2021 (1)
2023 ieee international conference on data mining workshops (icdmw), data mining workshops (icdmw), 2023 ieee international conference on, icdmw (1)
2023 ieee international conference on robotics and automation (icra), robotics and automation (icra), 2023 ieee international conference on (1)
acm sigsoft software engineering notes (1)
automatic program development (1)
computer aided verification (1)
concurrency and computation-practice & experience (1)
concurrency: practice and experience (1)
formal techniques in real-time & fault-tolerant systems (1)
hardware & software, verification & testing (1)
higher-order & symbolic computation (1)
international journal on software tools for technology transfer (sttt) (1)
journal of medical internet research (1)
practical aspects of declarative languages (9783540309475) (1)
spin model checking & software verification (1)