Davor Obradovic. An assessment of tools used in the verinet project (2000)

by Karthikeyan Bhargavan, Carl A Gunter