Juri Vain

Showing the single result

[PDF] Formal Techniques for Networked and Distributed Systems – FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings … Programming and Software Engineering) John Derrick, Juri Vain