↓ Skip to Main Content

Press
Contact

Search for:

ARiSE Society
RiSE Network
- About the Network
- SHiNE Organization and Subprojects
Members
News
- All News
- Press Coverage
Events
Seminar
Calendar
Publications
Jobs
Workshop
Winter School

Home › Events › Lecture on IC3-based Model Checking from Aaron Bradley

Lecture on IC3-based Model Checking from Aaron Bradley

Posted on June 13, 2013 by ayrat

Venue: TU Wien

In June Aaron Bradley comes to Vienna to give an intensive course on IC3-based Model Checking!

‹ Austrian Computer Science Day, IST Austria, 2013

Synthesis of biological models from mutation experiments ›

Posted in Events, News

Home
ARiSE – About the Society
RiSE – About the Network
Jobs
Press
Contact

Responsive Theme powered by WordPress