acm / sigplan notices (9)
acm sigplan notices (9)
entcs: electronic notes in theoretical computer science (4)
verification, model checking, and abstract interpretation (4)
communications of the acm (3)
electronic notes in theoretical computer science (3)
international journal on software tools for technology transfer (3)
acm sigada ada letters (2)
computer languages, systems & structures (2)
ieee transactions on software engineering (2)
science of computer programming (2)
static analysis (2)
verification, model checking & abstract interpretation (9783642182747) (2)
2009 31st international conference on software engineering - companion volume, software engineering - companion volume, 2009. icse-companion 2009. 31st international conference on (1)
2012 second international workshop on developing tools as plug-ins (topi) (1)
2012 second international workshop on developing tools as plug-ins (topi), developing tools as plug-ins (topi), 2012 2nd workshop on (1)
acm transactions on programming languages and systems (1)
compiler construction: 17th international conference, cc 2008, held as part of the joint european conferences on theory & practice of software, etaps 2008, budapest, hungary, march 29 - april 6, 2008. proceedings (1)
compiler construction: 19th international conference, cc 2010, held as part of the joint european conferences on theory & practice of software, etaps 2010, paphos, cyprus, march 20-28, 2010. proceedings (1)
computer languages systems & structures (1)
coordination models & languages (1)
formal verification of object-oriented software (1)
object-oriented technology. ecoop 2006 workshop reader (1)
object-oriented technology. ecoop 2007 workshop reader (1)
proceedings of the 2004 acm symposium: applied computing (1)
proceedings of the 2008 acm symposium: applied computing (1)
proceedings of the 2010 acm symposium: applied computing (1)
proceedings of the 23rd acm sigplan conference: object-oriented programming systems languages & applications (1)
proceedings of the 35th acm sigplan conference programming language design & implementation (1)
proceedings of the 38th annual acm sigplan-sihact symposium: principles of programming languages (1)
proceedings of the 41st acm sigplan-sigact symposium principles of programming languages (1)
proceedings of the acm international conference: object oriented programming systems languages & applications (1)
programming languages & systems (9783540297352) (1)
programming languages & systems (9783642106712) (1)
programming languages & systems (9783642351815) (1)
science of computer programming. methods of software design: techniques and applications (1)
semantics, abstract interpretation, and reasoning about programs: essays dedicated to david a. schmidt on the occasion of his sixtieth birthday (1)
static analysis (9783642032363) (1)
verification, model checking & abstract interpretation (9783540311393) (1)
verification, model checking & abstract interpretation (978-3-540-69735-0) (1)
verification, model checking & abstract interpretation (9783540938996) (1)
verification, model checking & abstract interpretation (9783642358722) (1)
verified software: theories, tools, experiments (9783642277047) (1)