Tests and proofs: 5th International Conference, TAP 2011, Zurich, S… by TAP 2011, Zurich, Switzerland) fromLecture Notes in Computer Science 0 Type: Book
Static analysis: 18th international symposium, SAS 2011, Venice, I… by Yahav, Eran, SAS, Venedig, International static analysis symposium,, Venice, SAS, Venice) fromLecture Notes in Computer Science 0 Type: Book
Programming languages and systems: 20th European Symposium on Programming, ESOP 2011… by ESOP <20, 2011, Saarbrücken> fromLecture Notes in Computer Science 0 Type: Book
