Extending KeY for the Verification of C Programs: The Development of a Prototype

Development

von Christoph Gladisch

Taschenbuch

ISBN: 978-3-639-00002-3

ISBN-10: 3-639-00002-1

VDM Verlag Dr. Müller · 2008