Formal Derivation Made Easy

Maurice Naftalin
Type of Publication: Paper
Conference: PPIG 1991 - 3rd Annual Workshop
Publication Year: 1991
Paper #: 3
TitleFormal Derivation Made Easy
Publication TypePaper
AuthorsNaftalin, M
PPIG Workshop: 
1991-01-3rd