Using expert systems to construct formal specifications: Blackburn, M R IEEE Expert Vol 4 No 1 (Spring 1989) pp 62–74

作者:

Highlights:

摘要

论文关键词:

论文评审过程:Available online 25 February 2003.

论文官网地址:https://doi.org/10.1016/0950-7051(89)90104-4