proj-oot
* [Self:proj-oot-ootMetaprogramming ootMetaprogramming] * [Self:proj-oot-ootIdeNotes2 ootIdeNotes2] * . . .
19K - last updated 2023-12-11 05:08 UTC by BayleShanks
proj-oot--index
* [Self:proj-oot-ootMetaprogramming ootMetaprogramming] * [Self:proj-oot-ootIdeNotes2 ootIdeNotes2] * . . .
19K - last updated 2023-12-11 05:08 UTC by BayleShanks
proj-oot-textFromWheelerPpt
copied from http://www.dwheeler.com/secure-class/presentations/Secure-Software-10-Formal-Methods.ppt . . .
57K - last updated 2016-08-26 17:16 UTC by BayleShanks
3 pages found.