Using expert systems to construct formal specifications

Authors
Mark R.Blackburn
Citation
Mark R.blackburn, Using expert systems to construct formal specifications, IEEE expert IEEE expert intelligent systems and their applications , 4(1), 1989, pp. 62-74
Journal title
IEEE expert IEEE expert intelligent systems and their applications → ACNP
ISSN journal
08859000
Volume
4
Issue
1
Year of publication
1989
Pages
62 - 74
Database
ACNP
SICI code