Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre Studienarbeiten Masterarbeiten login

Masterarbeiten



Goblint
Dozent:Ralf Vogler
Ort/Zeit:t.b.a.
ModulNummer:IN2108
Beschreibung:    tags: program analysis, static analysis, abstract interpretation, functional programming, OCaml
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 4 ms