Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Proverʼs Palette
From MaRDI portal
Publication:5170239
DOI10.1016/j.entcs.2012.06.010zbMath1294.68125OpenAlexW1967780008WikidataQ113318094 ScholiaQ113318094MaRDI QIDQ5170239
Laura I. Meikle, Jacques D. Fleuriot
Publication date: 22 July 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2012.06.010
Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Specification and verification (program logics, model checking, etc.) (68Q60)
Uses Software
Cites Work