29 April 08
Spec#, Love you long time!
I'll repeat Greg Young and Fredrik Normén here.
I stated in the past that I really like the idea of Spec#, but even more I like the idea of Spec# being integrated in C# later on. But nontheless I want verifiable software...

- .NET General - No comments / No trackbacks - § ¶
The code samples on my weblog are colorized using javascript, but
you disabled javascript (for my website) on your browser.
If you're interested in viewing the posted code snippets in
color, please enable javascript.