MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Specifying Compositional Units for Correct Program Development in Computational Logic." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 1 documents found, showing 1 through 1.
ATOM RSS
  • Specifying Compositional Units for Correct Program Development  
  • by Kung-kiu Lau, Mario Ornaghi — 2004 — in Computational Logic. Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, LNCS, vol 3049
  • Specifying Compositional Units for Correct Program Development in Computational Logic Kung-Kiu Lau…
  • Cited by 2 (2 self)Add To MetaCart
Help! Showing 1 through 1.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB