Skip to content

Retrospekt

My_Slogan_IO is new Generic_Clever_Slogan_IO; Use My_Slogan_IO;

Tag Archives: SPARK

SPARK toolkit

Last year I completed a report the SPARK toolkit. For those interested, I have now made it available for download. Enjoy reading! spark_overview.pdf

Posted byKim Rostgaard ChristensenNovember 29, 2011November 29, 2011Posted inAda, ProgrammingTags: Ada, SPARKLeave a comment on SPARK toolkit
Retrospekt, Proudly powered by WordPress.