Artykuł w czasopiśmie
Brak miniatury
Licencja
Dostęp zamkniętySpecification refinements: Calculi, tools, and applications
Autor
Data publikacji
2017
Dyscyplina PBN
informatyka
Czasopismo
Science of Computer Programming
Tom
144
Strony od-do
1-49
ISSN
0167-6423
Licencja otwartego dostępu
Dostęp zamknięty