Spark: The Proven Approach to High Integrity Software
Publisher: Altran Praxis
Format: hardcover
ISBN-13: 9780957290501