- Tytuł:
- Integrated Formal Analysis for Ada Programs.
- Autorzy:
- Źródło:
- Ada User Journal. Jun2020, Vol. 41 Issue 2, p103-106. 4p.
- Czasopismo naukowe
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.