Experts has a new look! Let us know what you think of the updates.

Provide feedback

Scholarly Works

FM 2006: Formal Methods, 14th International...

FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Editors

Misra J; Nipkow T; Sekerinski E

Series

Lecture Notes in Computer Science

Volume

4085

Publisher

Springer

Publication Date

2006

ISBN-10

3-540-37215-6

Conference proceedings

FM

Associated Experts

Emil Sekerinski

Professor, Faculty of Engineering