Verified Software. Theories, Tools, and Experiments - 9783030035914

ISBN-13: 9783030035914, 978-3030035914. Verified Software. The 19 full paperspresented were carefully revised and selected from 24 submissions. Format: Paperback.

eBay