@incollection{Barnett_2008,
    doi = {10.1007/978-3-540-69149-5_16},
    url = {https://doi.org/10.1007%2F978-3-540-69149-5_16},
    year = {2008},
    publisher = {Springer Berlin Heidelberg},
    pages = {144--152},
    author = {Mike Barnett and Robert DeLine and Manuel Fähndrich and Bart Jacobs and K. Rustan M. Leino and Wolfram Schulte and Herman Venter},
    title = {The Spec{\#} Programming System: Challenges and Directions},
    booktitle = {Verified Software: Theories, Tools, Experiments}
}

@incollection{Barnett_2008, doi = {10.1007/978-3-540-69149-5_16}, url = {https://doi.org/10.1007%2F978-3-540-69149-5_16}, year = {2008}, publisher = {Springer Berlin Heidelberg}, pages = {144--152}, author = {Mike Barnett and Robert DeLine and Manuel Fähndrich and Bart Jacobs and K. Rustan M. Leino and Wolfram Schulte and Herman Venter}, title = {The Spec{#} Programming System: Challenges and Directions}, booktitle = {Verified Software: Theories, Tools, Experiments} }