- Tytuł:
- Runtime Verification of Operating Systems Based on Abstract Models
- Autorzy:
- Źródło:
- Programming and Computer Software. 49(7):559-565
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.