[IEEE 2012 Fourth International Conference on Knowledge and Systems Engineering (KSE) - Danang, Vietnam (2012.08.17-2012.08.19)] 2012 Fourth International Conference on Knowledge and Systems Engineering - Structured specification for program verification
Chin, Wei-NganYear:
2012
Language:
english
DOI:
10.1109/kse.2012.44
File:
PDF, 149 KB
english, 2012