Abstract is missing.
- Formal Analysis of Vehicular Crash Severity Using KeYmaera XOumaima Barhoumi, Mohamed H. Zaki, Sofiène Tahar. 1-19 [doi]
- Formal Verification of ABCD Parameters Based Models for Transmission LinesElif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar. 20-37 [doi]
- Certification of Sorting Algorithms Using Theorema and CoqIsabela Dramnesc, Tudor Jebelean, Sorin Stratulat. 38-56 [doi]
- A Method to Prove Japanese Theorems and Others Appeared in Wasan Using MaximaSetsuo Takato, Hideyo Makishita. 57-78 [doi]
- Foundations of Haskell's Rewrite Rules Based on Higher-Kinded Polymorphic Rewrite SystemsMakoto Hamana. 79-95 [doi]
- Symbolic Graph Query SolvingDominique Duval, Rachid Echahed. 96-113 [doi]
- Riemann Surfaces, Branch Cuts and CharismaDavid J. Jeffrey. 114-128 [doi]