Type Theory, Program Verification, Theorem Proving, Specification Languages
Worm invades man’s eyeball, leading doctors to suck out his eye jelly
arstechnica.com·1d
Loading...Loading more...
Type Theory, Program Verification, Theorem Proving, Specification Languages