"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