[Zurück]
Scott A. Smolka
Department of Computer Science, Stony Brook University, USA