FORAPA 2011
Some of the project results were presented at FOPARA 2011, the second International Workshop on Foundational and Practical Aspects of Resource Analysis that was held in Madrid.See More
Critical and High Assurance Requirements Transformed through Engineering Rigour
Erik Poll's Discussions
FORAPA 2011
Some of the project results were presented at FOPARA 2011, the second International Workshop on Foundational and Practical Aspects of…Continue
Started Jun 6, 2011
KeY workshop at ITP'2011 in Nijmegen
There will be a KeY workshop at the Interactive Theorem Proving (ITP) conference in Nijmegen in August 2011.Continue
Started Mar 23, 2011
Erik Poll's Page
Latest Activity
Erik Poll posted a discussion
KeY workshop at ITP'2011 in Nijmegen
There will be a KeY workshop at the Interactive Theorem Proving (ITP) conference in Nijmegen in August 2011.See More
Profile Information
- What is your name ?
- Erik Poll
- What is your organisation ?
- Radboud University
- Where is its location ?
- Nijmegen
- In which country ?
- The Netherlands
- Do you have a web site ?
- http://www.cs.ru.nl/~erikpoll/
© 2013 Created by Alec Dorling.
Comment Wall
You need to be a member of CHARTER to add comments!