About
Interesting shortcuts
Programmes and Partnerships
Search
European Partnerships
EU-Programme-Call
Projects
Projects
Resources
Resources
www.decubber.com
Login
Project
Matryoshka
Organisations
Fast Interactive Verification through Strong Higher-Order Automation
Full project page
Organisations map overview
STICHTING VU
- (Coördinator)
Country:
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Country:
UNIVERSITE DE LORRAINE (UL)
Country: