Program Verification, Certified Compilation, Type Safety, Mobile Code
Status Week 34
blogs.gnome.org·1d
Gunnar Wolf: The comedy of computation, or, how I learned to stop worrying and love obsolescence
gwolf.org·1d
Loading...Loading more...
Program Verification, Certified Compilation, Type Safety, Mobile Code