Generating Validation Feedback for Automatic Interpretation of Informal Requirements
Formal Methods in System Design
A CG-Based Behavior Extraction System
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Hi-index | 0.00 |