Skip to content

A Maude Formalization of Object Nets.

Lorenzo Capra, Michael Khler-Bumeier

VenueBECSA
Year2022
ProceedingsECSA (Tracks and Workshops)

Browse the full ECSA paper archive.