Recent Trends in Algebraic Development Techniques
From MaRDI portal
Publication:5703987
DOI10.1007/b107129zbMath1118.68560WikidataQ57783451 ScholiaQ57783451MaRDI QIDQ5703987
Till Mossakowski, Donald Sannella, Andrzej Tarlecki
Publication date: 11 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b107129
68Q65: Abstract data types; algebraic specification
Related Items
HasCasl: integrated higher-order specification and program development, Lambda Expressions in Casl Architectural Specifications, Property Preserving Refinement for Csp-Casl