| Originalsprog | Engelsk |
|---|---|
| Bogserie | B R I C S Report Series |
| Nummer | RS-95-54 |
| Antal sider | 35 |
| ISSN | 0909-0878 |
| Status | Udgivet - 1995 |
A case study in automated verification based on trace abstractions
Nils Klarlund, Mogens Nielsen, Kim Sunesen
Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning