Using Event-B for Critical Device Software Systems
No ratings yet
Jul 7, 2015
·
English
·
Paperback
(344 pages)