Formal method for industrial critical systems [E-Book] : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / ed. by S. Leue ...
Leue, S., (editor)
Berlin : Springer, 2008
online resource
englisch
9783540797074 (e-book)
9783540797067
Lecture notes in computer science ; 4916
Full Text
Description not available.