R. Paige. Formal method integration via heterogeneous notations, 1997. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
A Framework for Specification, Verification and Development.. - Sherif, Jifeng (Correct)
Integrating a program design calculus and a subset of UML - Paige (1999) (1 citation) Self-citation (Paige) (Correct)
Using Heterogeneous Notations to Integrate a Formal and.. - Paige (1997) Self-citation (Paige) (Correct)
Heterogeneous Notations for Pure Formal Method Integration - Paige (1998) Self-citation (Paige) (Correct)
When Are Methods Complementary? - Paige (1998) Self-citation (Paige) (Correct)
Heterogeneous Notations for Pure Formal Method Integration - Paige (1998) Self-citation (Paige) (Correct)
A Meta-Method for Formal Method Integration - Paige (1997) (3 citations) Self-citation (Paige) (Correct)
Heterogeneous Notations for Formal Method Integration - Paige (1997) Self-citation (Paige) (Correct)
Integrating a program design calculus and a subset of UML - Paige (1999) (1 citation) Self-citation (Paige) (Correct)
Case Studies In Using A Meta-Method For Formal Method Integration - Paige (1997) (2 citations) Self-citation (Paige) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC