FM 2011: Formal Methods
17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24,20
Butler, Michael / Schulte, /
Erschienen am
01.06.2011, Auflage: 1. Auflage
Zusätzliche Informationen
Zurzeit sind keine weiteren Informationen zu diesem Artikel vorhanden.