ZB 2005 : Formal Specification and Development in Z and B
ZB 2005 : Formal Specification and Development in Z and B
Steve Schneider
,
Steve King
,
Helen Treharne
,
Martin Henson
Details
OL Work ID
OL27069206W
Find this book
Open Library