oliverhaase

HTWG KonstanzConstance, Germany

Pinned Repositories

ai-guideline
Guideline for AI based Medical Devices
106 26 126
jai
Java Abstract Interpretation
Language:Java0 2 30
jea
Java escape analysis
Language:Java0 3 101
sai
Scala Abstract Interpreter
Language:Scala11
jic
Java Immutability Checker
Language:Java4 6 580

oliverhaase's Repositories

oliverhaase/sai
Scala Abstract Interpreter
Language:Scala11
oliverhaase/jai
Java Abstract Interpretation
Language:Java0 2 30
oliverhaase/jea
Java escape analysis
Language:Java0 3 101