Comment by tgv
I started only last year, to learn a bit of Ada. Doing SPARK this year. That has been on my TOLEARN list for a long time. Should be interesting.
I started only last year, to learn a bit of Ada. Doing SPARK this year. That has been on my TOLEARN list for a long time. Should be interesting.