Preorder-constrained simulations for program refinement with effects

From MaRDI portal

Publication:6666773

Jump to:navigation, search

DOI10.1007/978-3-031-66438-0_3MaRDI QIDQ6666773

Koko Muroya, Natsuki Urabe, Unnamed Author

Publication date: 20 January 2025

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

This page was built for publication: Preorder-constrained simulations for program refinement with effects

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6666773&oldid=40246991"