Grigore Rosu
Member Status: Former
Institution: Formal Systems Laboratory, University at Illinois at Urbana Champaign, US
E-mail: grosu@cs.uiuc.edu