Software Engineering and Formal Methods; Proceedings: Conference on Software Engineering and Formal Methods Book Discussion
Software Engineering and Formal Methods; Proceedings: Conference on Software Engineering and Formal Methods (7th: 2009: Hanoi, Vietman)
by
