Skip to content

Type-Safety in EA Model Analysis.

Thomas Reschenhofer, Ivan Monahov, Florian Matthes

VenueBEDOC
Year2014
ProceedingsEDOC Workshops

Browse the full EDOC paper archive.