Proving behavioural apartness

DOI10.1007/978-3-031-66438-0_8MaRDI QIDQ6666778

Clemens Kupke, Ruben Turkenburg, Jurriaan Rot, Harsh Beohar

Publication date: 20 January 2025

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

This page was built for publication: Proving behavioural apartness