A methodology to incorporate formal methods in hybrid KBS verification

• Authors:

• R. F. Gamble;D. M. Baughman

• Affiliations:

• -;-

• Venue:
• International Journal of Human-Computer Studies - Special issue: verification and validation
• Year:
• 1996