KIT - Karlsruhe Institute of Technology
image/svg+xml
Core Informatics
skip navigation
Home
Legals
Privacy Policy
Accessibility
Sitemap
KIT
search
search
Research
Start
Research
Research
Research Software
From Gradware to Utilization
Area 1
Area 2
Area 3
Staff
Tools
Publications
Job Adverts
Startpage
Home
Legals
Privacy Policy
Accessibility
Sitemap
search
search
Campusplan
Campus Map
Core Informatics
Startpage
Research
Area 1
Landing Page
Research
Staff
Tools
Publications
Job Adverts
Research
Research Software
From Gradware to Utilization
Area 1
Area 2
Area 3
Area 1
Integration of KeY and KeYmaeraX
Contact:
PI Beckert