Collaborated with:
∅
Talks about:
transform
(1)
schemata
(1)
formal
(1)
valid
(1)
Person:
Mattias Waldau
DBLP: Waldau:Mattias
Contributed to:
1991
Wrote 1 papers:
LOPSTR-1991-Waldau
#validation
Formal Validation of Transformation Schemata (
MW
), pp. 97–110.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.