Skip to content

PRISME: Formalizing Programming Strategies as a Way to Understand Programs.

Francoise Balmas

VenueCSEKE
Year1996
ProceedingsSEKE

Browse the full SEKE paper archive.