Krishna M. Kavi;Seung-Min Yang
-;-
PARTS: a temporal logic-based real-time software specification and verification method
Proceedings of the 17th international conference on Software engineering