MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Metamodelling and Conformance Checking with PVS." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 1 documents found, showing 1 through 1.
ATOM RSS
  • Metamodelling and Conformance Checking with PVS  
  • by Richard Paige And, Richard F. Paige, Jonathan S. Ostroff — In Proc. Fundamental Aspects of Software Engineering 2001, LNCS 2029
  • Metamodelling and Conformance Checking with PVS Richard F. Paige and Jonathan S. Ostroff…
  • Add To MetaCart
Help! Showing 1 through 1.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB