× Proceedings of 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004)19th IEEE International Confernce on Automated Software Engineering - ASE 2004herausgegeben von Andrew Butterfield, Juan Bicarregui und Alvaro ArenasMitwirkendeHerausgegeben vonAndrew ButterfieldHerausgegeben vonJuan BicarreguiHerausgegeben vonAlvaro Arenas Verfügbarkeit jetzt prüfen