Dong, J S., & Zhu, H. (2010). Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg.
ISBD ZitierstilFormal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings / edited by Jin Song Dong, Huibiao Zhu . — Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. — Online-Ressource (XIV, 712p. 202 illus, digital). — (Lecture notes in computer science ; 6447). — ISBN 9783642169014
Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.