Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
Cousot Patrick and Cousot Radhia,A gentle introduction to formal verification of computer systems by abstract interpretation,NATO Science for Peace and Security Series - D: Information and Communication Security,1874-6268,IOS Press,2010,,,,https://cir.nii.ac.jp/crid/1360866926430850432,https://doi.org/10.3233/978-1-60750-100-8-1