Mossakowski Parametrized Exceptions (2005)

by D Walter, L Schröder, T
Venue:In CALCO 2005, Lecture Notes in Computer Science 3629