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 22

Record: found
Abstract: not found
Book: not found

Applications of Lie Groups to Differential Equations

Peter Olver (1986)

0 comments Cited 259 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book: not found

Isabelle/HOL

Tobias Nipkow, Markus Wenzel, Lawrence Paulson (2002)

0 comments Cited 205 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Formal verification of a realistic compiler

Xavier Leroy (2009)

0 comments Cited 117 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2018

Publication date (Online): October 06 2018

Pages: 225-243

DOI: 10.1007/978-3-030-02149-8_14

SO-VID: b3946ca3-6748-4204-b374-f1079e64df04

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 2

See all cited by

Verifying Hybrid Systems with Modal Kleene Algebra

Read this book at

Related collections

Socioecological systems

Most cited references 22

Applications of Lie Groups to Differential Equations

Isabelle/HOL

Formal verification of a realistic compiler

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 5,260

Cited by 2