Shaoying Liu, T. M. Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings. Springer.
Copiat
No s'ha pogut copiar
Cita Chicago (17th ed.)
Shaoying Liu, Tom Maibaum. Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings. Berlín, Alemania: Springer.
Copiat
No s'ha pogut copiar
Cita MLA (9th ed.)
Shaoying Liu, Tom Maibaum. Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings. Springer.
Copiat
No s'ha pogut copiar
Atenció: Aquestes cites poden no estar 100% correctes.