TY  - RPRT
TI  - Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns
AU  - Liu, Jian
AU  - Fu, Jicheng
AU  - Zhang, Yansheng
AU  - Bastani, Farokh
AU  - Yen, I-Ling
AU  - Tai, Ann
AU  - Chau, Savio N.
PY  - 2006
UR  - https://ntrs.nasa.gov/citations/20070023650
ID  - 20070023650
ER  -