Skip to content

An approach to abstract specification based on traces.

Daniel Chester

Year1979
ProceedingsCOMPSAC

Browse the full COMPSAC paper archive.