Home
Interesting shortcuts
Projects
Projects
Resources
Resources
Programmes and Partnerships
Search
EU-Programme-Call
European Partnerships
www.decubber.com
Login
Project
AV-SMP
Organisations
Algorithmic Verification of String Manipulating Programs
Full project page
Organisations map overview
Technische Universität Kaiserslautern
- (Coördinator)
Country:
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
Country: