Abstract is missing.
- LLVM-Based Code Generation for BRichard Bonichon, David Déharbe, Thierry Lecomte, Valério Medeiros Jr.. 1-16 [doi]
- Equational Abstractions in Rewriting Logic and MaudeNarciso Martí-Oliet, Francisco Durán, Alberto Verdejo. 17-31 [doi]
- Formalization of Zsyntax to Reason About Molecular Pathways in HOL4Sohaib Ahmad, Osman Hasan, Umair Siddique, Sofiène Tahar. 32-47 [doi]
- Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time SystemsDiego R. Almeida, Alan Moraes, Wilkerson de L. Andrade, Patrícia D. L. Machado. 48-63 [doi]
- Model-Driven Engineering in the Heterogeneous Tool SetDaniel Calegari, Till Mossakowski, Nora Szasz. 64-79 [doi]
- A Coinductive Animation of Turing MachinesAlberto Ciaffaglione. 80-95 [doi]
- Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth DetectionGrigory Fedyukovich, Natasha Sharygina. 96-112 [doi]
- A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility ModelBruno Ferreira, Fernando A. F. Braz, Sérgio V. A. Campos. 113-129 [doi]
- A Dynamic Logic for Every SeasonAlexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa. 130-145 [doi]
- Completeness and Decidability Results for Hybrid(ised) LogicsRenato Neves, Manuel A. Martins, Luís Soares Barbosa. 146-161 [doi]
- Parameterisation of Three-Valued AbstractionsNils Timm, Stefan Gruner. 162-178 [doi]