Frazik
Toggle navigation
about
blog
ctrl k
software-engineering
an archive of posts in this category
Nov 11, 2010
Niklaus Wirth on Programming Languages and Verification