Searching for "Locales - A Sectioning Concept for Isabelle." – 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.

Locales: A sectioning concept for Isabelle
by Florian Kammüller, Markus Wenzel, Lawrence C. Paulson — In Bertot et al
…Locales A Sectioning Concept for Isabelle Florian Kammüller 1 , Markus Wenzel 2 , and Lawrence C…
Cited by 23 (11 self) – Add To MetaCart

Rigorous Analysis and Design for Software Intensive Systems
by S. Jähnichen, M. Lemoine, T. Maibaum, M. Wirsing — 1999
… Borger 27 Methodology for Model Checking ASM Kirsten Winter 28 6 Locales, a Sectioning Concept…
Add To MetaCart

Showing 1 through 2.

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