2 presentation(s) on 'y0'

Subscribe to   Y0
Search by: Relevance | Latest | Downloadable
ynot march 2007 ynot march 2007

Tags: ATS , Coq , Demo , DML , ESC , Isabelle , JML , Knot , Naught , Omega , PRL , Purity , Quick , Refinement , Spec , Y0 , Ynot

By:  Sabatini

Entertainment 56 months ago

Y0 Y0

Tags: No tags for this presentation

By:  mercado

Entertainment 35 months ago