Formal Methods and Software Engineering

Formal Methods and Software Engineering

14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings

nge Toshiaki Aoki
5/5
Ishicilelwe okokuqala
Oct 29, 2012
Abashicileli
Springer

Izincwadi

Izincwadi ezifanayo