Verifiable programming
By Ole-Johan Dahl
Subjects: 54.51 programming techniques, Verification, Programmatuurtechniek, Computer programs, Programmverifikation
Description:
Comments
You must log in to leave comments.
Subjects: 54.51 programming techniques, Verification, Programmatuurtechniek, Computer programs, Programmverifikation
Description:
You must log in to leave comments.