Ausgabe 1/2008
Inhalt (3 Artikel)
Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations
Xavier Leroy, Sandrine Blazy
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
Magdalena Ortiz, Diego Calvanese, Thomas Eiter