This reference book documents the scientific outcome of the DIMACS SYCON Workshop on Verification...

This book constitutes the refereed proceedings of the 8th International Conference on Computer Ai...

Rob Tristan Gerth: 1956-2003.- Static Program Analysis via 3-Valued Logic.- Deductive Verificatio...

This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Contr...

This book constitutes the refereed proceedings of the Third International Conference on Embedded ...

A foundational text that offers a rigorous introduction to the principles of design, specificatio...