http://www.adacore.com AdaCore technology and news Wed, 02 Jul 2008 10:27:14 +0000 http://wordpress.org/?v=2.0.11 en http://www.adacore.com/2006/01/26/asis-examples/ http://www.adacore.com/2006/01/26/asis-examples/#comments Thu, 26 Jan 2006 17:08:14 +0000 AdaCore Code Samples ASIS http://wwwng.eu.adacore.com/?p=1113 http://www.adacore.com/2006/01/26/asis-examples/feed/