-
Bib ID# 36153
ISBN: 9783540881940
UPC: 10.1007/978-3-540-88194-0
Title: Formal Methods and Software Engineering10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /
Author: Liu, Shaoying.
Publication Info:
Item Type: Language material