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

Original languageEnglish
TypeOther Contribution
Publication statusPublished - 1 Jan 2002

Cite this