FME 2001 : Formal Methods for Increasing Software ProductivityJose N. Oliveira, Pamela Zave · First published 2003Open the Tome