ETAPS 2008

ETAPS 2008

John von Neumann Computer Society

in collaboration with
Eötvös University Budapest University of Technology and Economics