Record: found
Abstract: not found
Book Chapter: not found

LATIN 2000: Theoretical Informatics : 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000 Proceedings 

The Isabelle Framework

other

Author(s): Makarius Wenzel , Lawrence C. Paulson , Tobias Nipkow

Publication date (Print): 2008

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 46

Record: found
Abstract: not found
Book: not found

Isabelle/HOL

Tobias Nipkow, Markus Wenzel, Lawrence Paulson (2002)

0 comments Cited 199 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book: not found

Edinburgh LCF

Michael J. C. Gordon, Arthur Milner, Christopher Wadsworth (1979)

0 comments Cited 89 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book: not found

Isabelle

Lawrence Paulson (1994)

0 comments Cited 66 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2008

Pages: 33-38

DOI: 10.1007/978-3-540-71067-7_7

SO-VID: 32a2c6a6-52b5-4a19-a639-2a0259a0e682

History

Data availability:

The Isabelle Framework

Read this book at

Related collections

Open source discrete and agent-based modeling frameworks for biology

Most cited references 46

Isabelle/HOL

Edinburgh LCF

Isabelle

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 879

Cited by 11