Self-Checking against Formal Specifications

• Authors:

• Sergio Antoy;Richard G. Hamlet

• Affiliations:

• -;-

• Venue:
• ICCI '92 Proceedings of the Fourth International Conference on Computing and Information: Computing and Information
• Year:
• 1992