|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Certifying Code Generation Phase |
Blech, Jan Olaf |
2007 |
190 | 4 |
p. 65-82 18 p. |
artikel |
|
| 2 | Distilling Programs for Verification |
Hamilton, G.W. |
2007 |
190 | 4 |
p. 17-32 16 p. |
artikel |
|
| 3 | Generating Java Compiler Optimizers Using Bidirectional CTL |
Fang, Ling |
2007 |
190 | 4 |
p. 49-63 15 p. |
artikel |
|
| 4 | On-the-Fly Data Flow Analysis Based on Verification Technology |
del Mar Gallardo, María |
2007 |
190 | 4 |
p. 33-48 16 p. |
artikel |
|
| 5 | Preface |
Glesner, Sabine |
2007 |
190 | 4 |
p. 1-2 2 p. |
artikel |
|
| 6 | Specify, Compile, Run: Hardware from PSL |
Bloem, Roderick |
2007 |
190 | 4 |
p. 3-16 14 p. |
artikel |
6 gevonden resultaten