Gedanken : A tool for pondering the tractability of correct program technology

  • Presentations referencing similar topics