Deni Raco: Umsetzung der formalen Entwicklungsmethodik FOCUS in dem Theorembeweiser Isabelle zur Verifikation verteilter Systeme

Posted on April 23, 2015 by Helen Bolke-Hermanns

Event Details

  • Start: 23 April 2015 11:14 am
Bookmark the permalink.