Computer Science Logic

other

Editor(s): Laurent Fribourg

Publication date (Online): August 30 2001

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

Author and book information

Book

ISBN (Print): 978-3-540-42554-0

ISBN (Electronic): 978-3-540-44802-0

Publication date (Print): 2001

Publication date (Online): August 30 2001

DOI: 10.1007/3-540-44802-0

SO-VID: 175ccc22-e513-45f2-91f1-20e10efcb6ae

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 4

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
Authors: Andreas Podelski, Andrey Rybalchenko
Modularisation of Sequent Calculi for Normal and Non-normal Modalities
Authors: Björn Lellmann, Elaine Pimentel
Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning
Authors: Long H. Pham, Jun Sun, Quang Loc Le

See all cited by