Autore: Jim Davies
Formal Methods and Software Engineering: 6th International Conference On Formal Engineering Methods, Icfem 2004, Seattle, Wa, Usa, November 8-12, 2004, Proceedings
Jim Davies - Verlag Gachnang & Springer, 2005
english text
top
Jim Davies - Verlag Gachnang & Springer, 2005
english text