Ulrich Grude (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1 Ulrich Grude, Peter Padawitz: Initial and Fixpoint Semantics of Algebraic Specifications. ADT 1983

Selection of 1 from 1 records - Ulrich Grude has 1 coauthors