3 presentation(s) on 'jml'

Subscribe to   JML
Search by: Relevance | Latest | Downloadable
DbC Automation JML DbC Automation JML

Tags: Automation , Automation , Briefly , Contract , DbC , Design , Examp , First , JML , JML , Logic , Logic , Mechanics , Mechanics , Order , Overview

By:  Bruno

Education 48 months ago

mainmenu2007changes jml mainmenu2007changes jml

Tags: JML , Mainmenu2007changes

By:  Me_I

Education 47 months ago

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