Static Analysis: Third International Workshop, WSA '93 Padova, Italy

Author

Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy

Publisher

Springer

Subject

Computer Science

Year

1993

Vol/Edition

724

ISBN

9783540480273