Static Analysis: Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings

Author: Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier (auth.), Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy (eds.)
Publisher: Springer-Verlag Berlin Heidelberg
Language: English
Edition: 1
Year: 1993
Page: 290
ISBN: 978-3-540-57264-0,978-3-540-48027-3
File Type: pdf
File Size: 4.3 MiB

Just click on START button on Telegram Bot