Searching for "Foundational Certified Code in a Metalogical Framework." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Foundational certified code in a metalogical framework
by Karl Crary, Susmit Sarkar — 2003 — In Nineteenth International Conference on Automated Deduction
… Foundational Certified Code in a Metalogical Framework Karl Crary and Susmit Sarkar Carnegie…
Cited by 21 (7 self) – Add To MetaCart

Foundational Certified Code in a Metalogical
by Framework Karl Crary, Karl Crary, Susmit Sarkar — 2005 — In Nineteenth International Conference on Automated Deduction
…Foundational Certified Code in a Metalogical Framework KARL CRARY and SUSMIT SARKAR Carnegie…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB