tools & algorithms for the construction & analysis of systems (9783540330561) (35)
acm transactions on programming languages & systems (33)
acm / sigplan notices (21)
acm sigplan notices (15)
information and computation (14)
journal of functional programming (11)
communications of the acm (7)
acm computing surveys (6)
acm transactions on programming languages and systems (6)
ieee transactions on software engineering (6)
theoretical computer science (5)
icse: international conference on software engineering (4)
information processing letters (4)
journal of systems architecture (4)
design automation for embedded systems (3)
international journal on software tools for technology transfer (3)
science of computer programming (3)
scientific programming (3)
static analysis (3)
2022 ieee/acm 44th international conference on software engineering (icse), software engineering (icse), 2022 ieee/acm 44th international conference on, icse (2)
distributed computing (2)
formal aspects of computing (2)
higher-order & symbolic computation (2)
higher-order and symbolic computation (2)
information & computation (2)
linear algebra and its applications (2)
lisp and symbolic computation (2)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (2)
science of computer programming. methods of software design: techniques and applications (2)
15th annual ieee symposium on logic in computer science (santa barbara, ca, 2000) (1)
2013 ieee 37th annual computer software and applications conference, computer software and applications conference (compsac), 2013 ieee 37th annual (1)
2016 12th international acm sigsoft conference on quality of software architectures (qosa), quality of software architectures (qosa), 2016 12th international acm sigsoft conference on (1)
2020 ieee/acm 42nd international conference on software engineering (icse), software engineering (icse), 2020 ieee/acm 42nd international conference on, icse (1)
29th european conference on object-oriented programming (1)
automata, languages and programming (1)
design automation for embedded systems: an international journal (1)
formal aspects of computing: applicable formal methods (1)
foundations of software science and computation structures (1)
foundations of software science and computation structures (grenoble, 2002) (1)
foundations of software technology and theoretical computer science (bombay, 1993) (1)
ieee transactions on education (1)
journal of computer and system sciences (1)
logic and program semantics (1)
milcom 2013 - 2013 ieee military communications conference, military communications conference, milcom 2013 - 2013 ieee (1)
multiprocessor systems-on-chips (1)
nordic journal of computing (1)
proceedings of the 23rd international conference on software engineering. icse 2001 (1)
static analysis (glasgow, 1995) (1)
theoretical aspects of computer software (sendai, 1997) (1)
trees in algebra and programming---caap '94 (edinburgh, 1994) (1)