Lecture Notes in Computer Science 4260 Formal Methods and Software Engineering 8th International Con
ICFEM 20062006 年出版775 页ISBN：3540474609
Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN：3540249362
