Xiasong Lu
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1997
A Methodology for the Description of System Requirements and the Derivation of Formal Specifications.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997