|
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 | Behavior analysis for validating communication patterns |
Amtoft, Torben |
1998 |
2 | 1 |
p. 13-28 |
artikel |
|
| 2 | PAG – an efficient program analyzer generator |
Martin, Florian |
1998 |
2 | 1 |
p. 46-67 |
artikel |
|
| 3 | Paul Feyerabend and software technology |
Snelting, Gregor |
1998 |
2 | 1 |
p. 1-5 |
artikel |
|
| 4 | Program analysis tools |
Hankin, Chris |
1998 |
2 | 1 |
p. 6-12 |
artikel |
|
| 5 | Semantics-based program analysis for logic-based languages using XSB |
Codish, Michael |
1998 |
2 | 1 |
p. 29-45 |
artikel |
|
| 6 | Verification of the Link layer protocol of the IEEE-1394 serial bus (FireWire): an experiment with E-LOTOS |
Sighireanu, Mihaela |
1998 |
2 | 1 |
p. 68-88 |
artikel |
6 gevonden resultaten