Lobsters
- Proving the Ghost Common Divisor (GCD) in SPARK http://www.spark-2014.org/entries/detail/gnatprove-tips-and-tricks-proving-the-ghost-common-denominator-gcd 12 comments formalmethods , programming
Linked pages
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:www.spark-2014.org
Search title: About SPARK | AdaCore
See how to search.