Verification and validation of knowledge-based systems with formal specifications

Pedro Meseguer, Alun D. Preece. Verification and validation of knowledge-based systems with formal specifications. Knowledge Eng. Review, 10(4):331-343, 1995. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.