Huibiao Zhu Jin Song Dong

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Formal Methods and Software Engineering978-3-642-169O2-1
(3-642-169O2-3)
2011

H.J. · H.S. · Huibiao Zhu · J. S. · JIN S. · Z Jin

Huidi Zhang