A constructive modal semantics for contextual verification
| Title | A constructive modal semantics for contextual verification |
| Publication Type | Conference Paper |
| Authors | Primiero, G |
| UGent Biblio Link | http://hdl.handle.net/1854/LU-810575 |
|---|---|
| Download PDF |
 (Author PDF) |
UGent Biblio Link:
PDF author (public):