Knowledge-based support for formal specification : Masteron, J J, Ishaq, K P and Hosckley, A T Br. Telecom Technol. J. Vol 6 No 4 (October 1988) pp 73–83
作者：
Highlights：
•
摘要
论文关键词：
论文评审过程：Available online 14 February 2003.
论文官网地址：https://doi.org/10.1016/0950-7051(89)90059-2
