Toward formal development of programs from algebraic specifications: Model-theoretic foundations

From MaRDI portal
Publication:5204355

DOI10.1007/3-540-55719-9_112zbMath1425.68082OpenAlexW1598364371MaRDI QIDQ5204355

Andrzej Tarlecki, Donald Sannella

Publication date: 4 December 2019

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-55719-9_112




Related Items (2)


Uses Software


Cites Work


This page was built for publication: Toward formal development of programs from algebraic specifications: Model-theoretic foundations