ipdlogo Software security analysis with Isabelle/HOL
People
About us
Projects
Publications
Courses
Jobs
Theses
Impressum
Location

de en

 

dept-logo uni-logo

 

 

HiWi-Job (open)

Description:

This page is only available in German

Advisors

Scientific Staff
Lochbihler, Andreas
Wasserrab, Daniel
IPD-Web - developed 2002-2008 ver 2.0 @ IPD Goos, IPD Tichy, ITM Zitterbart, IPD Snelting