Jian Liu, Farokh B. Bastani, I-Ling Yen
A Formal Foundation of Code Pattern Based Development
SEKE, 2005.
@inproceedings{SEKE-2005-LiuBY,
author = "Jian Liu and Farokh B. Bastani and I-Ling Yen",
booktitle = "{Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-16-0",
pages = "274--279",
title = "{A Formal Foundation of Code Pattern Based Development}",
year = 2005,
}











