New SPARK Book
The new 2012 edition of John Barnes' SPARK book is now available... SPARK is a programming language and static verification technology designed specifically for the development of high integrity software. First designed over 20 years ago, SPARK has establ