Publications

of A. Podelski

Books and proceedings

  1. M. Leuschel and A. Podelski, editors. PPDP07l, July 2007. ACM. ISBN: 978-1-59593-769-8.

BACK TO INDEX