Software engineering and formal methods

Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria
2008 Communications of the ACM  
doi:10.1145/1378727.1378742 fatcat:laarjb4gffet7d6fsw7xzkzz2q