Verified Software. Theories, Tools and Experiments
Verified Software. Theories, Tools and Experiments
Andrew Reynolds
,
Serdar Tasiran
Details
OL Work ID
OL38623708W
Find this book
Open Library