- Tytuł:
- Synthesizing Promela model sketches using abstract lifted model checking
- Autorzy:
- Źródło:
- International Journal of Information Technology: An Official Journal of Bharati Vidyapeeth's Institute of Computer Applications and Management. 16(1):425-435
Czasopismo naukowe