CoFI with Don Sannella
From MaRDI portal
Publication:724933
DOI10.1016/J.TCS.2018.02.034zbMATH Open1397.68124DBLPjournals/tcs/Mosses18OpenAlexW2794026619WikidataQ57783357 ScholiaQ57783357MaRDI QIDQ724933FDOQ724933
Publication date: 26 July 2018
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2018.02.034
Recommendations
Cites Work
- Foundations of algebraic specification and formal software development.
- CASL reference manual. The complete documentation of the common algebraic specification language.
- Title not available (Why is that?)
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- Title not available (Why is that?)
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
- Recent trends in data type specification. 10th workshop on specification of abstract data types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30-June 3, 1994. Selected papers
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (4)
Uses Software
This page was built for publication: CoFI with Don Sannella
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q724933)