Formal Methods and Software Engineering
Subtitle: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
By: edited by Shengchao Qin, Zongyan Qiu
Contributors: Qiu, Zongyan; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6991
Publisher: Springer-Verlag GmbH Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642245589; 9783642245596
Subjects: Computer networks; Computer science; Software engineering; Computer software