Ada i SPARK
Powitanie
Ada 2012
SPARK 2014
Mikrokontrolery
Mindstorms
Strona domowa
Niezawodne programowanie
Systemy wbudowane
21/05/14 13:13
Artykuł o języku SPARK 2014 w systemach wbudowanych:
Stuart Matthews,
SPARK 2014: Why I am backing a predictable winner
.