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 25

Record: found
Abstract: not found
Article: not found

Program development by stepwise refinement

Niklaus Wirth (1971)

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

Bookmark

Record: found
Abstract: not found
Book: not found

Refinement Calculus

Ralph-Johan Back, Joakim Wright (1998)

0 comments Cited 55 times – based on 0 reviews

Bookmark

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

Extending SAT Solvers to Cryptographic Problems

Mate Soos, Karsten Nohl, Claude Castelluccia (2009)

0 comments Cited 31 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2017

Publication date (Online): July 11 2017

Pages: 237-254

DOI: 10.1007/978-3-319-63046-5_15

SO-VID: 30f0db14-fe83-4ae6-9eed-8861796444d6

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 5

Efficient Certified RAT Verification
Authors: Luís Cruz-Filipe, Marijn Heule, Warren A. Hunt …
What a Difference a Variable Makes
Authors: Marijn Heule, Armin Biere
From LCF to Isabelle/HOL
Authors: Lawrence Paulson, Tobias Nipkow, Makarius Wenzel

See all cited by

Efficient Verified (UN)SAT Certificate Checking

Read this book at

Related collections

ScienceOpen Research

Most cited references 25

Program development by stepwise refinement

Refinement Calculus

Extending SAT Solvers to Cryptographic Problems

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 5,720

Cited by 5