Bild mit Unilogo
homeicon university sucheicon search siteicon sitemap kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
Institute of Formal Methods in Computer Science

Software Reliability and Security Group


The Group SZS is currently not active

x Contact   (how to contact and find us)

x People   (current members of our group, including photo)

x Teaching   (courses, seminars, topics for Master theses and Softwarepraktika)

x Research   (current projects, resources)

x Publications   (sorted by year, type, author or project)

x Software and Tools   (developed and maintained by our group)

x Some useful links (Mensa, Uni Calendar, Literature)

x Positions (available PhD, PostDoc and student research assistant positions)