An experiment in making a LOTOS verifier / Peter van Eijk
| rdfs:label | "An experiment in making a LOTOS verifier / Peter van Eijk" |
| schema:name | "An experiment in making a LOTOS verifier" |
| schema:author | Universiteit Twente (Enschede). Faculteit der Informatica |
| Eijk, Peter Herman Johan van (1959-) | |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1987" |
| schema:about | computerprogramma's |
|
schema:in |
"en" |
|
schema:is |
Memorandum / Universiteit Twente, Faculteit der Informatica |
| schema:isbn | "9036500982" |
|
schema:number |
14 |
| schema:publication |
<https:/ |