Verifiable programming
Verifiable programming
Ole-Johan Dahl
Details
OL Work ID
OL4116954W
Subjects
Computer programs
Verification
54.51 programming techniques
Programmverifikation
Programmatuurtechniek
Find this book
Open Library