- Tytuł:
- Boundness Issues in CCSL Specifications.
- Autorzy:
- Źródło:
-
Formal Methods & Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings ; 2013, p20-35, 16p
Książka