by RudolfAvenhaus (Editor), Michel Richard (Editor), Gotthard Stein (Editor), NicholasKyriakopoulos (Editor)
This book presents an interdisciplinary collection of expert analyses and views of existing verification systems. It provides guidelines and advice for the improvement of those systems as well as for new challenges in the field.
Format: Hardcover
Pages: 629
Edition: illustrated edition
Publisher: Springer
Published: 24 May 2006
ISBN 10: 3540338535
ISBN 13: 9783540338536