Accès à distance ? S'identifier sur le proxy UCLouvain
Design of compositional proof systems based on assumption-commitment specifications : application to UNITY
Primary tabs
| Document type | Thèse (Dissertation) |
|---|---|
| Access type | Accès restreint |
| Publication date | 1994 |
| Language | Anglais |
| Degree | Doctorat en sciences appliquées -- UCL, 1994 |
| Defense date | 1994 |
| Promotors | Sintzoff, Michel |
| Affiliation | UCL - FSA/INGI - Département d'ingénierie informatique |
| Links |
| Bibliographic reference | Collette, Pierre. Design of compositional proof systems based on assumption-commitment specifications : application to UNITY. Prom. : Sintzoff, Michel |
|---|---|
| Permanent URL | https://hdl.handle.net/2078.1/205375 |