Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings: 1694 (Lecture Notes in Computer Science)
by Agostino Cortesi, Gilberto File
ISBN 13: 9780817641474
Format: Paperback (372 pages) Publisher: Springer Published: 08 Sep 1999
Save for later
ISBN 13: 9783540664598
Format: Paperback (368 pages) Publisher: Springer Published: 13 Jun 2008
Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings: 724 (Lecture Notes in Computer Science)
by Antoine Rauzy, Patrick Cousot, Moreno Falaschi, Gilberto File
ISBN 13: 9783540572640
Format: Paperback (300 pages) Publisher: Springer Published: 13 Jun 2008