| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A framework for distributing object-oriented designs
|
El Guemhioui, Karim
|
|
2003
|
4 |
3 |
p. 381-396
|
artikel
|
| 2 |
A framework for superscalar microprocessor correctness statements
|
Aagaard, Mark D.
|
|
2003
|
4 |
3 |
p. 298-312
|
artikel
|
| 3 |
Efficient debugging in a formal verification environment
|
Copty, Fady
|
|
2003
|
4 |
3 |
p. 335-348
|
artikel
|
| 4 |
Formal verification of conflict detection algorithms
|
Muñoz, César
|
|
2003
|
4 |
3 |
p. 371-380
|
artikel
|
| 5 |
Hierarchical formal verification using a hybrid tool
|
Kort, Skander
|
|
2003
|
4 |
3 |
p. 313-322
|
artikel
|
| 6 |
Higher-level techniques for hardware description and synthesis
|
Mycroft, Alan
|
|
2003
|
4 |
3 |
p. 271-297
|
artikel
|
| 7 |
Platitudes and attitudes
|
Wing, Jeannette M.
|
|
2003
|
4 |
3 |
p. 261-265
|
artikel
|
| 8 |
Preface by the section editor
|
Margaria, Tiziana
|
|
2003
|
4 |
3 |
p. 266-270
|
artikel
|
| 9 |
Proof engineering in the large: formal verification of Pentium®4 floating-point divider
|
Kaivola, Roope
|
|
2003
|
4 |
3 |
p. 323-334
|
artikel
|
| 10 |
Refinement-based formal verification with heterogeneous timing
|
Kong, Xiaohua
|
|
2003
|
4 |
3 |
p. 359-370
|
artikel
|
| 11 |
Using Lava to design and verify recursive and periodic sorters
|
Claessen, Koen
|
|
2003
|
4 |
3 |
p. 349-358
|
artikel
|
Tijdschrift beschrijving