I want Spec#!
I want verifiable software...
I WANT SPEC#!
And of course, I want beauty(ah, yeah, singulare, one is enough) too!
如果你也像我一样期待.Net平台上的DbC工具的话,欢迎你也在你所知道的地方发布这张图片:
I WANT SPEC#!
And of course, I want beauty(ah, yeah, singulare, one is enough) too!
如果你也像我一样期待.Net平台上的DbC工具的话,欢迎你也在你所知道的地方发布这张图片: