Searching for "Formal Mathematics for Verifiably Correct Program Synthesis." – 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.

Formal mathematics for verifiably correct program synthesis
by Christoph Kreitz, Fachgebiet Intellektik, Fachbereich Informatik, Technische Hochschule Darmstadt — 1996 — Journal of the IGPL
…Formal Mathematics for Verifiably Correct Program Synthesis CHRISTOPH KREITZ, Fachgebiet…
Cited by 10 (6 self) – Add To MetaCart

Journal of the IGPL
by Volume Number February, Special Issue Of The, Dov M. Gabbay, Jon Barwise, Wilfrid Hodges, Hans Kamp, Robert Kowalski, Ewa Orlowska, Amir Pnueli, Vaughan Pratt, Johan Van Benthem
… Mathematics for Verifiably Correct Program Synthesis C. Kreitz 95 Abduction is not Deduction-in-Reverse M…
Add To MetaCart

Showing 1 through 2.

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