From: John McCormick <mccormick@cs.uni.edu>
Subject: Re: ANN: SPARK Proof - Tutorials and Tools
Date: Fri, 20 Mar 2009 09:31:53 -0700 (PDT)
Date: 2009-03-20T09:31:53-07:00 [thread overview]
Message-ID: <20f03746-ca56-4362-a282-bf2e2e24cefa@b16g2000yqb.googlegroups.com> (raw)
In-Reply-To: b+M9J4BFcjwJJw2$@diphi.demon.co.uk
Phil,
Thanks for the examples. There are too few available for folks who
want to see what they look like. I'm looking forward to going through
your tutorials.
John
next prev parent reply other threads:[~2009-03-20 16:31 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-03-19 12:13 ANN: SPARK Proof - Tutorials and Tools JP Thornley
2009-03-20 16:31 ` John McCormick [this message]
2009-03-23 14:55 ` Michael
2009-03-23 19:38 ` ANN: " Tim Rowe
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox