Using Event-B for Critical Device Software Systems
Publisher: Springer
Published: Jul 31, 2013
Format: paperback
Number of pages: 346
ISBN-13: 9781447152613