Formal methods and software engineering [E-Book] : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / ed. by S. Liu ...
Liu, S., (editor)
Berlin : Springer, 2008
online resource
englisch
9783540881940 (e-book)
9783540881933
Lecture notes in computer science ; 5256
Full Text
Description not available.