Barnett, DeLine, Fähndrich, Jacobs, Leino, Schulte, Venter, 2008. The Spec# Programming System: Challenges and Directions, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-540-69149-5_16