added Martin Strecker, Christian Buttenberg, Alexandra Kirsch and project
authorkleing
Thu Jan 25 11:59:52 2001 +0100 (2001-01-25)
changeset 109774b47d8aaf5af
parent 10976 0e7cf6f9fa29
child 10978 5eebea8f359f
added Martin Strecker, Christian Buttenberg, Alexandra Kirsch and project
Verificard
Admin/page/main-content/munich.content
     1.1 --- a/Admin/page/main-content/munich.content	Wed Jan 24 21:01:47 2001 +0100
     1.2 +++ b/Admin/page/main-content/munich.content	Thu Jan 25 11:59:52 2001 +0100
     1.3 @@ -32,6 +32,7 @@
     1.4  <li> <a href="http://www4.in.tum.de/~oheimb/">David von Oheimb</a>
     1.5  <li> <a href="http://www4.in.tum.de/~prensani/">Leonor Prensa Nieto</a>
     1.6  <li> <a href="http://www4.in.tum.de/~pusch/">Cornelia Pusch</a>
     1.7 +<li> <a href="http://www4.in.tum.de/~streckem/">Martin Strecker</a>
     1.8  <li> <a href="http://www4.in.tum.de/~wenzelm/">Markus Wenzel</a>
     1.9  
    1.10  </ul>
    1.11 @@ -41,6 +42,8 @@
    1.12  
    1.13  <ul>
    1.14  
    1.15 +<li> <a href="mailto:buttenbe@in.tum.de">Christian Buttenberg</a> </li>
    1.16 +<li> <a href="http://home.informatik.tu-muenchen.de/~kirsch/">Alexandra Kirsch</a> </li>
    1.17  <li> <a href="http://www.informatik.tu-muenchen.de/~nanz/">Sebastian Nanz</a> </li>
    1.18  <li> <a href="http://www.informatik.tu-muenchen.de/~pfeifrot/">Johannes Pfeifroth</a> </li>
    1.19  
    1.20 @@ -65,6 +68,9 @@
    1.21  <li> <b>Isabelle/HOOL</b> Object-oriented verification of
    1.22  object-oriented programs
    1.23  
    1.24 +<li> <b><a href="VerifiCard/">Isabelle/VerifiCard</a></b>
    1.25 +Tool-assisted Specification and Verification of JavaCardŽ Programs
    1.26 +
    1.27  </ul>
    1.28  
    1.29  <p>
    1.30 @@ -72,5 +78,3 @@
    1.31  <b>Important local information:</b> Students are welcome to
    1.32  participate, see <a href="stud/index.html">Isabelle Projekte für
    1.33  Studenten</a> (in German) for more information.
    1.34 -
    1.35 -