Skip to content

Formal specification of software systems using two-level grammar.

Barrett R. Bryant

Year1991
ProceedingsCOMPSAC

Browse the full COMPSAC paper archive.