Matteo Bordin [email protected] Porting GNAT to Lego Mindstorm NXT: an Education-oriented Platform for High-Integrity Systems Piotr Piwko [email protected] Summary Introduction…
