Compositionality in the inductive assertion method for concurrent systems / F.S. de Boer
| rdfs:label | "Compositionality in the inductive assertion method for concurrent systems / F.S. de Boer" |
| schema:name | "Compositionality in the inductive assertion method for concurrent systems" |
| schema:author | Vrije Universiteit (Amsterdam). Faculteit der Wiskunde en Informatica |
| Boer, Frank Sipke de (1956-) | |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1994" |
| schema:about | programmeren |
|
schema:in |
"en" |
|
schema:is |
Informatica rapport / Wiskundig Seminarium der Vrije Universiteit |
|
schema:number |
17 |
| schema:publication |
<https:/ |