Tests and proofs: 5th international conference ; proceedings by TAP, Zürich fromLecture Notes in Computer Science 0 Type: Book
Static analysis: 18th international symposium ; proceedings by SAS, Venedig fromLecture Notes in Computer Science 0 Type: Book
Programming languages and systems: proceedings by ESOP, Saarbrücken, ETAPS,, Saarbrücken fromLecture Notes in Computer Science 0 Type: Book
