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 9

Record: found
Abstract: not found
Article: not found

A Refinement Strategy for Circus

Ana Elizabeth Cavalcanti, Augusto de Almeida Sampaio, Jim Woodcock (2003)

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

Bookmark

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

Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants

Pascal Fontaine, Jean-Yves Marion, Stephan Merz … (2006)

0 comments Cited 13 times – based on 0 reviews

Bookmark

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

System Description: E 0.81

Stephan Schulz (2004)

0 comments Cited 13 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2009

Pages: 151-156

DOI: 10.1007/978-3-642-02959-2_12

SO-VID: 50854787-c9d8-4361-bd91-c0cd12f6240b

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 19

See all cited by

veriT: An Open, Trustable and Efficient SMT-Solver

Read this book at

Related collections

ScienceOpen Research

Most cited references 9

A Refinement Strategy for Circus

Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants

System Description: E 0.81

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,883

Cited by 19