"Verification Corner" videos, contract programming

deadalnix deadalnix at gmail.com
Tue Jun 12 07:00:00 PDT 2012


Le 12/06/2012 15:52, bearophile a écrit :
> deadalnix:
>
>> OK, but how does that work internally :D
>
> http://research.microsoft.com/en-us/um/redmond/projects/z3/
>
> In that page there are links to papers too.
>
> Bye,
> bearophile
>
>

Thank you very much. I was turning endlessly in the website without 
finding that. I now have some stuffs to read.


More information about the Digitalmars-d mailing list