Online Manual lacks Definition of TL Properties
The Online Manual does not describe how Assumes/Guarantees can be created.
(from redmine: issue id 1033, created on 2012-11-16, closed on 2018-01-19)
- Relations:
- parent #1252 (closed)
The Online Manual does not describe how Assumes/Guarantees can be created.
(from redmine: issue id 1033, created on 2012-11-16, closed on 2018-01-19)