"Recent Trends in Algebraic Development Techniques, 14th International ..."

Didier Bert, Christine Choppy, Peter D. Mosses (2000)

Details and statistics

DOI: 10.1007/B75154

access: closed

type: Editorship

metadata version: 2019-05-14

a service of  Schloss Dagstuhl - Leibniz Center for Informatics