Katrin Seyr

1 published title

Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 proceedings

(Contributor)

1 edition