The Spec# programming system: An Overview. Barnett, M.; Leino, K. R. M.; and Schulte, W. In pages 151–171.
bibtex   
@inproceedings{BarnettLW04,
	Author = {M. Barnett and K. R. M. Leino and W. Schulte},
	Crossref = {CASSIS04},
	Pages = {151--171},
	Title = {The {Spec\#} programming system: An Overview}}
Downloads: 0