Výsledky hledání pro autora

1

Obálka

FMICS '05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05 /

Vydáno 2005

Další autoři: '; “...Massink, Mieke...”

Kniha