- Tytuł:
- Three Early Formal Approaches to the Verification of Concurrent Programs.
- Autorzy:
- Źródło:
- Minds & Machines. 2024 Suppl 1, Vol. 34, p73-92. 20p.
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.