Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
Ruzica Piskac
,
Philipp Rümmer
Details
OL Work ID
OL20820172W
Subjects
Computer software, verification
Find this book
Open Library