Artykuł w czasopiśmie
Brak miniatury
Licencja
Dostęp zamkniętyHigher-Order Model Checking Step by Step
Autor
Data publikacji
2021
Dyscyplina PBN
informatyka
Tom
198
Strony od-do
140:1--140:16
Link do źródła
Licencja otwartego dostępu
Dostęp zamknięty