| Original language | English |
|---|---|
| Book series | B R I C S Report Series |
| Issue | RS-95-54 |
| Number of pages | 35 |
| ISSN | 0909-0878 |
| Publication status | Published - 1995 |
A case study in automated verification based on trace abstractions
Nils Klarlund, Mogens Nielsen, Kim Sunesen
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research