Moving Fast with Software Verification Cristiano Calcagno, Dino Distefano, Jeremy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter O’Hearn, Irene Papakonstantinou, Jim Purbrick, and Dulma Rodriguez Faceboo

First Page		Document Content
Date: 2016-11-03 21:22:10		Moving Fast with Software Verification Cristiano Calcagno, Dino Distefano, Jeremy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter O’Hearn, Irene Papakonstantinou, Jim Purbrick, and Dulma Rodriguez Faceboo Add to Reading List Source URL: research.fb.com Download Document from Source Website File Size: 184,39 KB Share Document on Facebook