Verified Software. Theories, Tools and Experiments
Verified Software. Theories, Tools and Experiments
Akash Lal
,
Stefano Tonetta
Details
OL Work ID
OL34029661W
Find this book
Goodreads
Open Library