Skip to content

Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules.

Bettina Sucrow

VenueBFASE
Year1998
ProceedingsFASE

Browse the full FASE paper archive.