Verified Software : Theories, Tools, Experiments
Verified Software : Theories, Tools, Experiments
Natarajan Shankar
,
Jim Woodcock
Details
OL Work ID
OL27343704W
Find this book
Open Library