- Tytuł:
- A dynamic logic for verification of synchronous models based on theorem proving
- Autorzy:
- Źródło:
-
Frontiers of Computer Science . 16(4)
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.