High Integrity Software: The SPARK Approach to Safety and Security

Approach

by John Barnes

Hardcover

details (USA).

ISBN: 978-0-321-13616-9

ISBN-10: 0-321-13616-0

Addison-Wesley · 2003