Software Engineering and Formal Methods; Proceedings: Conference on Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods; Proceedings: Conference on Software Engineering and Formal Methods
ISBN: 9780769538709

Dang Van Hung , Padmanabhan Krishnan