dblp.uni-trier.dewww.uni-trier.de

Haera Chung

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
1EEFei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi: Translation-based co-verification. MEMOCODE 2005: 111-120

Coauthor Index

1Ranajoy Nandi [1]
2Xiaoyu Song [1]
3Fei Xie [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)