Formal engineering methods for software quality assurance

Shaoying LIU

PDF(184 KB)
PDF(184 KB)
Front. Comput. Sci. ›› 2012, Vol. 6 ›› Issue (1) : 1-2. DOI: 10.1007/s11704-012-2900-6
EDITORIAL

Formal engineering methods for software quality assurance

Author information +
History +

Cite this article

EndNote

Ris (Procite)

Bibtex

Download citation ▾
Shaoying LIU. Formal engineering methods for software quality assurance. Front Comput Sci, 2012, 6(1): 1‒2 https://doi.org/10.1007/s11704-012-2900-6

RIGHTS & PERMISSIONS

2014 Higher Education Press and Springer-Verlag Berlin Heidelberg
AI Summary AI Mindmap
PDF(184 KB)

Accesses

Citations

Detail
Sections
Recommended

/

〈 〉