Recent trends in algebraic development techniques. 17th international workshop, WADT 2004, Barcelona, Spain, March 27--29, 2004. Revised selected papers.
DOI10.1007/B107129zbMath1069.68006OpenAlexW4300641577WikidataQ57783451 ScholiaQ57783451MaRDI QIDQ2388715
No author found.
Publication date: 20 September 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b107129
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
This page was built for publication: Recent trends in algebraic development techniques. 17th international workshop, WADT 2004, Barcelona, Spain, March 27--29, 2004. Revised selected papers.
