Original language | English |
---|---|
Type | Other Contribution |
Publication status | Published - 1 Jan 2002 |
Crash in program and logic: AVoCS 2002 - Automated Verification of Critical Systems. Page 23. MZ Kwiatkowska, D Guelev (Editors)
Viviana Bono, Manfred Kerber, Gethin Norman
Research output: Other contribution