...joined a day ago, and has 13 karma
submissions / comments / favourites
Software quality, languages, formal methods