integrated formal methods (9783540732099) (33)
journal of functional programming (23)
science of computer programming (18)
acm / sigplan notices (12)
acm sigplan notices (12)
datatype-generic programming (6)
information processing letters (6)
american mathematical monthly (5)
acm international conference proceeding series (4)
journal of logical and algebraic methods in programming (4)
mathematics of program construction (4)
american journal of respiratory & critical care medicine (3)
entcs: electronic notes in theoretical computer science (3)
fundamenta informaticae (3)
proceedings of the 2nd international conference: theory & practice of electronic governance (3)
science of computer programming. methods of software design: techniques and applications (3)
a list of successes that can change the world (2)
algebraic and coalgebraic methods in the mathematics of program construction (oxford, 2000) (2)
american journal of respiratory and critical care medicine (2)
icse: international conference on software engineering (2)
journal of cranio-maxillofacial surgery (2)
list of successes that can change the world (2)
proceedings of the 16th acm sigplan international conference: functional programming (2)
proceedings of the 25th international conference software engineering (2)
theoretical computer science (2)
2008 eighth ieee international symposium on cluster computing and the grid (ccgrid), cluster computing and the grid, 2008. ccgrid '08. 8th ieee international symposium on (1)
2008 ieee fourth international conference on escience, escience, 2008. escience '08. ieee fourth international conference on (1)
2008 the eighth international conference on quality software, quality software, 2008. qsic '08. the eighth international conference on (1)
2009 icse workshop on software engineering in health care (1)
2009 icse workshop on software engineering in health care, software engineering in health care, 2009. sehc '09. icse workshop on (1)
2012 first international workshop on realizing ai synergies in software engineering (raise), realizing artificial intelligence synergies in software engineering (raise), 2012 first international workshop on (1)
6th conference on algebra and coalgebra in computer science (1)
australian computer science communications (1)
bidirectional transformations (1)
communications of the acm (1)
compositionality (1)
computer (1)
electronic notes in theoretical computer science (1)
fifth ieee international conference on software engineering and formal methods (sefm 2007), software engineering and formal methods, 2007. sefm 2007. fifth ieee international conference on (1)
formal aspects of computing (1)
formal aspects of computing: applicable formal methods (1)
formal methods: foundations and applications (1)
icfp'14---proceedings of the 2014 acm sigplan international conference on functional programming (1)
innovations & advanced techniques in computer & information sciences & engineering (1)
mathematics of program construction (kloster irsee, 1995) (1)
mathematics of program construction (oxford, 1992) (1)
proceedings of the 30th conference on the mathematical foundations of programming semantics (mfps xxx) (1)
proceedings of the twenty-ninth conference on the mathematical foundations of programming semantics, mfps xxix (1)
proceedings of the workshop on continuations (1)
the american mathematical monthly (1)