| year = 2006, |
year = 2006, |
| volume = 4085, |
volume = 4085, |
| series = {LNCS}, |
series = {LNCS}, |
| publisher = springer |
publisher = "Springer" |
| } |
} |
| |
|
| @Article{Langmaack97a, |
@Article{Langmaack97a, |
| Martin Odersky and Lothar Thiele}, |
Martin Odersky and Lothar Thiele}, |
| volume = 1912, |
volume = 1912, |
| series = {LNCS}, |
series = {LNCS}, |
| publisher = springer |
publisher = "Springer" |
| } |
} |
| |
|
| @InCollection{Goos:99:verifix, |
@InCollection{Goos:99:verifix, |
| bibdate = "2006-04-05", |
bibdate = "2006-04-05", |
| bibsource = "DBLP, |
bibsource = "DBLP, |
| http://dblp.uni-trier.de/db/conf/cc/cc2006.html#XueK06", |
http://dblp.uni-trier.de/db/conf/cc/cc2006.html#XueK06", |
| booktitle = "CC", |
|
| booktitle = "Compiler Construction, 15th International Conference, |
booktitle = "Compiler Construction, 15th International Conference, |
| {CC} 2006, Held as Part of the Joint European |
{CC} 2006, Held as Part of the Joint European |
| Conferences on Theory and Practice of Software, {ETAPS} |
Conferences on Theory and Practice of Software, {ETAPS} |
