Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Bibliographische Detailangaben

Hauptverfasser:	Qin, Shengchao, Qiu, Zongyan
Format:	Buch
Sprache:	eng
Schlagworte:	Computer programming, programs, data Congresses Formal methods (Computer science)
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!