Tubidy

    Jonathan Blow on formally proving software

    08:46
    Jonathan Blow on formally proving software
    Download MP3

    Related Videos