Case in point: http://ironsides.martincarlisle.com/ http://ironsides.martincarlisle.com/ http://www.adacore.com/uploads/technical-papers/SPARKSkein_SBMF.pdf h

Case in point: http://ironsides.martincarlisle.com/ http://ironsides.martincarlisle.com/ http://www.adacore.com/uploads/technical-papers/SPARKSkein_SBMF.pdf http://www.adacore.com/uploads/technical-papers/SPARKSkein_S... http://www.anthonyhall.org/c_by_c_secure_system.pdf http://www.anthonyhall.org/c_by_c_secure_system.pdf