- Tytuł:
- Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications
- Autorzy:
- Źródło:
- Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. 1008:101-118
Książka elektroniczna