[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - From Verification to Specification Inference
Chin, Wei-Ngan, David, CristinaYear:
2012
Language:
english
DOI:
10.1109/tase.2012.40
File:
PDF, 195 KB
english, 2012