Kent, S. and Mailbaum, T.S.E. and Quirk, W.J.
(1993)
Formally Specifying Temporal Constraints and Error Recovery.
In: Proceedings of IEEE First International Symposium on Requirements Engineering (RE93).
The full text of this publication is not available from this repository.
This list was generated on Thu Jun 20 08:41:52 2013 BST.