Design of compositional proof systems based on assumption-commitment specifications : application to UNITY
(1994)
Files
Colette.pdf
Restricted Access - Adobe PDF
- 4.63 MB
Details
- Authors
- Supervisors
- Sintzoff, Michel
- Affiliations
Citations
Collette, P. (1994). Design of compositional proof systems based on assumption-commitment specifications : application to UNITY. https://hdl.handle.net/2078.5/59809