MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Towards Correctness" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 419 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Towards Correct Executable  
  • by Semantics For Peter, Peter T. Breuer, Jonathan P. Bowen — 1994 — Z User Workshop, Cambridge 1994, Workshops in Computing
  • …Towards Correct Executable Semantics for Z Peter T. Breuer Departamento de Ingenier a de Sistemas…
  • Add To MetaCart
  • Towards Correct, Efficient and Reusable Transformational Developments  
  • by Bernd Krieg-Br Ckner, Junbo Liu, Hui Shi, Burkhard Wolff — 1995 — In KORSO: Methods, Languages, and Tools for Construction of Correct Software, LNCS 1009
  • …Towards Correct, Efficient and Reusable Transformational Developments Bernd Krieg-Br��ckner, Junbo…
  • Add To MetaCart
  • First Steps Towards Correct System Synthesis of System Code  
  • by Istituto Trentino Di Cultura, Fausto Giunchiglia, Fausto Giunchiglia, Alessandro Armando, Alessandro Armando, Alessandro Cimatti, Alessandro Cimatti, Paolo Traverso, Paolo Traverso — 1994
  • …. Istituto Trentino di Cultura 1 First steps towards provably correct system synthesis of system code Fausto…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB