public marks

PUBLIC MARKS from GeorgesMariano with tags formal-methods & csp

09 February 2006 15:15

Enseignements Méthodes formelles - Attiogbe Christian

Méthodes et spécifications formelles Intégration de méthodes formelles Cours et documents J-C.Attiogbé - UFR Sciences Nantes

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 +