Skip to content

Executable Specifications based on Dynamic Algebras.

Angelica Maria Kappel

VenueBLPAR
Year1993
ProceedingsLPAR

Browse the full LPAR paper archive.