Computer-Aided Program Development Group (until March 31st, 2019)

Biography

 

List of publications (pdf)

List of publications (DBLP Trier)

Some selected publications