Dunets, Andriy; Schellhorn, Gerhard; Reif, Wolfgang Automated flaw detection in algebraic specifications. (English) Zbl 1207.68337 J. Autom. Reasoning 45, No. 4, 359-395 (2010). MSC: 68T15 68Q65 PDFBibTeX XMLCite \textit{A. Dunets} et al., J. Autom. Reasoning 45, No. 4, 359--395 (2010; Zbl 1207.68337) Full Text: DOI
Dunets, Andriy; Schellhorn, Gerhard; Reif, Wolfgang Automating algebraic specifications of non-freely generated data types. (English) Zbl 1183.68368 Cha, Sungdeok (Steve) (ed.) et al., Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88386-9/pbk). Lecture Notes in Computer Science 5311, 141-155 (2008). MSC: 68Q60 68Q65 68T15 PDFBibTeX XMLCite \textit{A. Dunets} et al., Lect. Notes Comput. Sci. 5311, 141--155 (2008; Zbl 1183.68368) Full Text: DOI