Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December ...
No ratings yet
Nov 17, 2009
·
English
·
Paperback
(772 pages)