logical methods in computer science (3)
acm / sigplan notices (2)
international journal of network management (2)
leveraging applications of formal methods, verification & validation. applications & case studies (2)
2008 design, automation and test in europe, design, automation and test in europe, 2008. date '08 (1)
2009 third international conference on sensor technologies and applications, sensor technologies and applications, 2009. sensorcomm '09. third international conference on (1)
2012 ieee 17th international conference on engineering of complex computer systems (1)
2012 ieee 17th international conference on engineering of complex computer systems, engineering of complex computer systems (iceccs), 2012 17th international conference on (1)
2012 ieee network operations & management symposium (1)
2012 ieee network operations and management symposium, network operations and management symposium (noms), 2012 ieee (1)
acm international conference proceeding series (1)
acm sigplan notices (1)
proceedings of the 1st workshop: critical automotive applications (1)
proceedings of the 2008 acm sigplan workshop: ml (1)
proceedings of the 20th acm sigplan workshop: partial evaluation & program manipulation (1)
proceedings of the 36th annual acm sigplan-sihact symposium: principles of programming languages (1)
proceedings of the 6th international symposium: memory management (1)
proceedings of the conference: design, automation & test in europe (1)
proceedings of the conference: design, automation & test in europe (9783981080131) (1)
proceedings of the third acm sigplan international conference: functional programming (1)
programming languages & systems (9783642171635) (1)
science of computer programming (1)
science of computer programming. methods of software design: techniques and applications (1)