1. 6
    Formality in requirements: new publication compsci formalmethods programming bertrandmeyer.com
    felixyz avatar via felixyz 1 month ago | cached | 1 comment
  2. 5
    Haskell Programming With Tests, and Some Alloy pdf formalmethods haskell testing staff.fnwi.uva.nl
    felixyz avatar via felixyz 2 months ago | cached | no comments
  3. 3
    High Performance Numeric Programming with Swift: Explorations and Reflections c c++ objectivec programming swift fast.ai
    felixyz avatar via felixyz 2 months ago | cached | 1 comment
  4. 2
    Derek Zave's Octal Editor assembly historical person fourmilab.ch
    felixyz avatar via felixyz 3 months ago | cached | no comments
  5. 1
    A Conversation with Manfred von Thun (RIP) (2003) apl historical person plt nsl.com
    felixyz avatar via felixyz 7 months ago | cached | 2 comments