|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstraction and Testing in CSP |
Schneider, Steve |
2000 |
12 | 3 |
p. 165-181 |
artikel |
|
| 2 | csp2B: A Practical Approach to Combining CSP and B |
Butler, Michael |
2000 |
12 | 3 |
p. 182-198 |
artikel |
|
| 3 | Data Abstraction Techniques in the Validation of CSP-OZ Specifications |
Wehrheim, Heike |
2000 |
12 | 3 |
p. 147-164 |
artikel |
|
| 4 | Relating Z and First-Order Logic |
Martin, Andrew P. |
2000 |
12 | 3 |
p. 199-209 |
artikel |
|
| 5 | The First World Congress on Formal Methods in the Development of Computing Systems |
Wing, Jeanette |
2000 |
12 | 3 |
p. 145-146 |
artikel |
5 gevonden resultaten