equal
deleted
inserted
replaced
111 <p><B>Mechanising Turing Machines and Computability Theory in Isabelle/HOL.</B> |
111 <p><B>Mechanising Turing Machines and Computability Theory in Isabelle/HOL.</B> |
112 (with Xu and Zhang) In Proceedings of the 4th Conference on Interactive |
112 (with Xu and Zhang) In Proceedings of the 4th Conference on Interactive |
113 Theorem Proving (ITP 2013). In Volume 7998 of Lecture Notes in |
113 Theorem Proving (ITP 2013). In Volume 7998 of Lecture Notes in |
114 Computer Science. Pages 147-162. |
114 Computer Science. Pages 147-162. |
115 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/tm.pdf">pdf</A>] |
115 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/tm.pdf">pdf</A>] |
|
116 <p><B>A Formal Model and Correctness Proof for an Access Control Policy Framework.</B> |
|
117 (with Wu and Zhang) In Proceedings of the 3rd Conference on Certified Programs |
|
118 and Proofs (CPP 2013). In Lecture Notes in Computer Science. |
116 </TD> |
119 </TD> |
117 </TR> |
120 </TR> |
118 |
121 |
119 |
122 |
120 <TR> |
123 <TR> |
485 </TR> |
488 </TR> |
486 |
489 |
487 |
490 |
488 </TABLE> |
491 </TABLE> |
489 <P> |
492 <P> |
490 <!-- hhmts start --> Last modified: Sat Jun 15 09:01:22 EDT 2013 <!-- hhmts end --> |
493 <!-- hhmts start --> Last modified: Mon Aug 26 17:42:18 BST 2013 <!-- hhmts end --> |
491 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
494 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
492 |
495 |
493 </BODY> |
496 </BODY> |
494 </HTML> |
497 </HTML> |