You are about to access our book library "Software Engineering and Formal Methods; Proceedings: Conference on Software Engineering and Formal Methods (7th: 2009: Hanoi, Vietman) full version" .