Re: "Verification Corner" videos, contract programming

[bearophile]

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