Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
The Spec# programming system: Challenges and directions.

Mike Barnett, Robert DeLine, Bart Jacobs, Manuel Fahndrich, Rustan Leino, Wolfram Schulte, and Herman Venter

Details

Publication typeProceedings
Published inVerified Software: Theories, Tools, Experiments (LNCS4171, ISSN 0302-9743)
PublisherSpringer Verlag
> Publications > The Spec# programming system: Challenges and directions.