Admin/page/main-content/munich.content

 <li> <a href="http://www4.in.tum.de/~narasche/">Wolfgang Naraschewski</a>
 <li> <a href="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</a>
 <li> <a href="http://www4.in.tum.de/~oheimb/">David von Oheimb</a>
 <li> <a href="http://www4.in.tum.de/~prensani/">Leonor Prensa Nieto</a>
 <li> <a href="http://www4.in.tum.de/~pusch/">Cornelia Pusch</a>
+<li> <a href="http://www4.in.tum.de/~streckem/">Martin Strecker</a>
 <li> <a href="http://www4.in.tum.de/~wenzelm/">Markus Wenzel</a>
 
 </ul>
 
 <p>
 <b>Students:</b>
 
 <ul>
 
+<li> <a href="mailto:[e-mail]">Christian Buttenberg</a> </li>
+<li> <a href="http://home.informatik.tu-muenchen.de/~kirsch/">Alexandra Kirsch</a> </li>
 <li> <a href="http://www.informatik.tu-muenchen.de/~nanz/">Sebastian Nanz</a> </li>
 <li> <a href="http://www.informatik.tu-muenchen.de/~pfeifrot/">Johannes Pfeifroth</a> </li>
 
 </ul>
 

 distributed, reactive systems using I/O Automata
 
 <li> <b>Isabelle/HOOL</b> Object-oriented verification of
 object-oriented programs
 
+<li> <b><a href="VerifiCard/">Isabelle/VerifiCard</a></b>
+Tool-assisted Specification and Verification of JavaCardŽ Programs
+
 </ul>
 
 <p>
 
 <b>Important local information:</b> Students are welcome to
 participate, see <a href="stud/index.html">Isabelle Projekte für
 Studenten</a> (in German) for more information.
-
-