"Proceedings the 9th International Workshop on Formal Engineering ..."

Barbora Buhnova, Lucia Kapová Happe, Jan Kofron (2013)

Details and statistics

DOI:

access: closed

type: Editorship

metadata version: 2022-11-22

a service of  Schloss Dagstuhl - Leibniz Center for Informatics