"Toward a Coalgebraic Model of Control Programs."

Timothy A. V. Teatro, J. Mikael Eklund, Ruth Milman (2022)

Details and statistics

DOI: 10.1109/CCECE49351.2022.9918479

access: closed

type: Conference or Workshop Paper

metadata version: 2024-02-05