@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}}