OOD Frameworks in Component-Based Software - Development in Computational Logic
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
CL '00 Proceedings of the First International Conference on Computational Logic
Frameworks in Catalysis: pictorial notation and formal semantics
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Formal development of correct classes in computational logic
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
| Hi-index | 0.00 |