Changes between Version 3 and Version 4 of RelatedWork


Ignore:
Timestamp:
Apr 19, 2011, 2:46:04 PM (8 years ago)
Author:
mulligan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • RelatedWork

    v3 v4  
    11= Related work =
    22
    3 === Piton ===
    4 * J Strother Moore: [Piton, a mechanically verified assembly-level language http://portal.acm.org/citation.cfm?id=235239], 1996.
    5 
    6 * J Strother Moore: [A mechanically verified language implementation http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.604], 1989.
     3== Piton ==
     4 * J Strother Moore: [Piton, a mechanically verified assembly-level language http://portal.acm.org/citation.cfm?id=235239], 1996.
     5 * J Strother Moore: [A mechanically verified language implementation http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.604], 1989.