Back to Results
First PageMeta Content
University of Camerino / Computer science / Institute of Science and Technology Austria / Agent-based model / Runtime verification / Edmund M. Clarke / Systems engineering / Academia / Software development / Science / Formal methods / Logic in computer science


Dr. Ezio Bartocci Curriculum Vitae Personal Information Gender:
Add to Reading List

Document Date: 2015-04-10 06:06:57

Open Document

File Size: 2,70 MB

Share Result on Facebook
UPDATE