The Spec# programming system: Challenges and directions.

In  Verified Software: Theories, Tools, Experiments (LNCS4171, ISSN 0302-9743)

Publisher  Springer Verlag
All copyrights reserved by Springer 2007.

Details

TypeProceedings
> Publications > The Spec# programming system: Challenges and directions.