"Proceedings of the 5th International Workshop on Formal Foundations of ..."

Ralf H. Reussner, Iman Poernomo, Juliana Küster Filipe Bowles (2010)

Details and statistics

DOI:

access: closed

type: Editorship

metadata version: 2023-02-24

a service of  Schloss Dagstuhl - Leibniz Center for Informatics