- Tytuł:
- A dynamic logic for verification of synchronous models based on theorem proving
Periodyk
- Tytuł:
- A dynamic logic for verification of synchronous models based on theorem proving
- Autorzy:
- Źródło:
- Frontiers of Computer Science; August 2022, Vol. 16 Issue: 4
Periodyk