Frazik
Toggle navigation
about
blog
ctrl k
modula-2,
an archive of posts with this tag
Nov 11, 2010
Niklaus Wirth on Programming Languages and Verification