✦ LIBER ✦

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2890 || Verification-Oriented Language C-Light and Its Structural Operational Semantics

✍ Scribed by Broy, Manfred; Zamulin, Alexandre V.

Book ID: 121328001
Publisher: Springer Berlin Heidelberg
Year: 2004
Weight: 135 KB
Category: Article
ISBN: 354039866X
DOI: 10.1007/978-3-540-39866-0_12

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Pers

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2890 || Partial Evaluation for Common Intermediate Language

✍ Broy, Manfred; Zamulin, Alexandre V. 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 110 KB

[Lecture Notes in Computer Science] Pers

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 || Towards an Open Framework for C Verification Tools Benchmarking

✍ Clarke, Edmund; Virbitskaite, Irina; Voronkov, Andrei 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 340 KB

This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were