Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy

Static Analysis - 1993 - Springer Berlin Heidelberg 1993 - Lecture Notes in Computer Science .

9783540480273


Computer Science