Boosting the reuse of formal specifications
From MaRDI portal
Publication:1791193
DOI10.1007/978-3-319-94821-8_28zbMath1452.68263OpenAlexW2809909177MaRDI QIDQ1791193
Mariano M. Moscato, César A. Muñoz, Marco A. Feliú, Carlos G. López Pombo
Publication date: 4 October 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-94821-8_28
Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Uses Software