* Peter Ross wrote: > 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?
www.sparkada.com
