public marks

PUBLIC MARKS from GeorgesMariano with tags formal-methods & model-checking

GeorgesMariano's TAGS related to tag formal-methods

2006 +   Abrial +   ACI +   AFADL +   automatic +   Bmethod +   cnam +   compiler +   Coq +   csp +   cursus +   del.icio.us +   Eiffel +   latex +   meyer +   model-checking +   Morgan +   OCaml +   PERSEE +   projet +   railway +   verification +