Formal engineering methods for software quality assurance
Shaoying LIU
Front. Comput. Sci. ›› 2012, Vol. 6 ›› Issue (1) : 1 -2.
Formal engineering methods for software quality assurance
Higher Education Press and Springer-Verlag Berlin Heidelberg
/
| 〈 |
|
〉 |