Problems arising in proving the correctness of a computer program
Problems arising in proving the correctness of a computer program
Catherine Steele
Details
OL Work ID
OL10374345W
Find this book
Open Library