Skip to content

Formal Program Developments Directed by Operational Properties Evaluation.

Yamine At Ameur

VenueCSEKE
Year1992
ProceedingsSEKE

Browse the full SEKE paper archive.