AltaRica project leader A. Griffault gaves an interview on the usefulness of formal languages, like AltaRica, in the design of critical systems. Listen the interview podcast.
![]() |
AltaRica ProjectMEthods and Tools for AltaRica Language |
AltaRica project leader A. Griffault gaves an interview on the usefulness of formal languages, like AltaRica, in the design of critical systems. Listen the interview podcast.