public marks

PUBLIC MARKS from GeorgesMariano with tags formal & unix

16 January 2006 13:15

The contributions

Formal verification of an extension of a UNIX compatible, secure filesystem

GeorgesMariano's TAGS related to tag formal

bibliography +   bibtex +   Bmethod +   conference +   Coq +   del.icio.us +   filesystem +   formal:linux +   INRIA:LogiCal +   linux +   logic +   method +   microsoft +   OCaml +   proof +   research +   secure +   software +   TLA +   tool +   unix +   wiki +