|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Compositional noninterference from first principles |
Morgan, Carroll |
2010 |
24 | 1 |
p. 3-26 |
artikel |
|
| 2 | Editorial |
Boiten, Eerke |
2011 |
24 | 1 |
p. 1 |
artikel |
|
| 3 | Emergence and refinement |
Sanders, J. W. |
2011 |
24 | 1 |
p. 45-65 |
artikel |
|
| 4 | Experiments in program verification using Event-B |
Hallerstede, Stefan |
2011 |
24 | 1 |
p. 97-125 |
artikel |
|
| 5 | Formalizing a hierarchical file system |
Hesselink, Wim H. |
2010 |
24 | 1 |
p. 27-44 |
artikel |
|
| 6 | Invariant diagrams with data refinement |
Preoteasa, Viorel |
2011 |
24 | 1 |
p. 67-95 |
artikel |
|
| 7 | Mechanised support for sound refinement tactics |
Zeyda, Frank |
2011 |
24 | 1 |
p. 127-160 |
artikel |
7 gevonden resultaten