Hi Lutz, On Wed, 12 Feb 2003, Lutz Donnerhacke wrote:
> Eine formale Verifizierung der Abwesenheit von Fehlerklassen (bis hin zur > Abwesenheit aller Laufzeitfehler) ist heute schon m�glich und wird gemacht. Ehrlich, gibt's da _Praktikables_? Kannst Du mich mal auf Anschauens- und Lesenswertes, wie und was da gemacht wird, stossen? Dankbar dafuer waere der neugierige Peter
