[SPAM] - RE: [GAP] advice on Ada in general programming languages course - Email found in subject

[Ted Baker]

Do you use SPARK in a course by itself, or in a pot pourri course
like the one I'm talking about?  Do you use John Barnes' book, or
some other reference(s)?  --Ted

On Thu, Apr 21, 2005 at 01:16:37PM -0400, laski at oakland.edu wrote:
> I agree. I have been using SPARK for about five years and, 
> indeed, have made several converts, to Ada AND program 
> analysis and proving.
> 
> janusz
> 
> 
> 
> Janusz Laski, Professor of Engineering
> Oakland University
> Rochester, Mi 48309
>  (248) 370 2214