Unifying Theories of Programming and Formal Engineering Methods
Unifying Theories of Programming and Formal Engineering Methods
Jim Woodcock
,
Zhiming Liu
,
Huibiao Zhu
Details
OL Work ID
OL27377707W
Find this book
Open Library