Jerzy Marcinkowski

1 published title

Computer science logic : 18th international workshop, CSL 2004, 13th annual conference of the EACSL

(Contributor)

1 edition