Introduction to Ada and SPARK (2009) [pdf] - discu.eu

Hacker News

Introduction to Ada and SPARK (2009) [pdf] https://www.cse.msu.edu/~cse814/Lectures/09_spark_intro.pdf 37 comments 2/11/2015

Linking pages

Verification of smart contracts – INNOQ https://www.innoq.com/en/articles/2019/07/verifikation-von-smart-contracts/ 4 comments

Related searches:

Search whole site: site:www.cse.msu.edu

Search title: Introduction to Ada and SPARK (2009) [pdf]

See how to search.

Submit link to: