Aoki, T., & Taguchi, K. (2012). Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings. Berlin, Heidelberg: Springer.
ISBD ZitierstilFormal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings / edited by Toshiaki Aoki, Kenji Taguchi . — Berlin, Heidelberg : Springer, 2012. — Online-Ressource (XIV, 512 p. 131 illus, digital). — (Lecture notes in computer science ; 7635). — ISBN 9783642342813
Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.