Scribit Tom Bachmann dies 02/05/2006 hora 21:57: > > OK. Now how many of these software carry formal proof of their > > correctness? > This is not true for the Hurd (afaik)
Why? Completely, Nowhere man -- [EMAIL PROTECTED] OpenPGP 0xD9D50D8A
signature.asc
Description: Digital signature
_______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
