1. TAP 2009: short papers

Blanchette, J.C., Nipkow, Tobias, Cama, Benjamin, Gotlieb, Arnaud, Andrade-Barroso, Guillermo, Neumann, Rebecca, Thies, Michael und Karstens, Uwe (2009)

Reports