[Spark2014-discuss] [M503-001] SPARK 2014: proof rules for type invariants

Tucker Taft taft at adacore.com
Fri May 3 22:50:51 CEST 2013

On 5/3/13 4:46 PM, Steve Baird wrote:

> ... Does that make things clearer?

Could you provide the Ada code for these examples?
My brain reads Ada better than English. ;-)

>    -- Steve


More information about the Spark2014-discuss mailing list