Software analysis: a roadmap

Daniel Jackson, Martin Rinard
2000 Proceedings of the conference on The future of Software engineering - ICSE '00  
doi:10.1145/336512.336545 dblp:conf/icse/JacksonR00 fatcat:alcqm3nqi5adjfofyfvtnprmwa