@book{dfd8379521994c0296440a4750fdd61e,
title = "TASE 2010, 4th IEEE International Symposium on Theoretical Aspects of Software Engineering",
author = "J. Liu and D. Peled and Wang, {B. Y.} and F. Wang",
year = "2010",
language = "American English",
publisher = "IEEE",
}