@inproceedings{barnett2005the,
author = {Barnett, Mike and DeLIne, Robert and Fähndrich, Manuel and Jacobs, Bart and Leino, Rustan and Schulte, Wolfram and Venter, Herman},
title = {The Spec# Programming System: Challenges and Directions},
booktitle = {VSTTE 2005: Verified Software: Theories, Tools, Experiments},
year = {2005},
month = {September},
abstract = {The Spec# programming system [2] is a new attempt to increase the quality of general purpose, industrial software. Using old wisdom, we propose the use of specifications to make programmer assumptions explicit. Using modern technology, we propose the use of tools to enforce the specifications. To increase its chances of having impact, we want to design the system so that it can be widely adopted.},
publisher = {Springer-Verlag Berlin Heidelberg},
url = {http://approjects.co.za/?big=en-us/research/publication/spec-programming-system-challenges-directions/},
pages = {144-152},
edition = {VSTTE 2005: Verified Software: Theories, Tools, Experiments},
}