added Martin Strecker, Christian Buttenberg, Alexandra Kirsch and project
Verificard
--- a/Admin/page/main-content/munich.content Wed Jan 24 21:01:47 2001 +0100
+++ b/Admin/page/main-content/munich.content Thu Jan 25 11:59:52 2001 +0100
@@ -32,6 +32,7 @@
<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>
@@ -41,6 +42,8 @@
<ul>
+<li> <a href="mailto:buttenbe@in.tum.de">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>
@@ -65,6 +68,9 @@
<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>
@@ -72,5 +78,3 @@
<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.
-
-