Scribit Gernot Heiser dies 10/06/2007 hora 14:40: > One such step is (5)->(6). This is done automatically, using a formal > semantics (in Isabelle) of our subset of C
What is this subset? Curiously, Pierre -- [EMAIL PROTECTED] OpenPGP 0xD9D50D8A
signature.asc
Description: Digital signature
_______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
