Formal methods for industrial critical systems
Leue Stefan, Merino PedroKniha
Citace v seznamu literatury:
LEUE, Stefan a MERINO, Pedro (ed.). Formal methods for industrial critical systems: 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers. Lecture notes in computer science. Berlin: Springer, c2008. ISBN 9783540797067. Dostupné také z: https://proxy.k.utb.cz/login?url=https://doi.org/10.1007/978-3-540-79707-4.