"Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings: Sixth International Symposium, SAS '99, ... 6th " - читать интересную книгу автора (Agostino Cortesi, Gilberto File)