Ignore:
Timestamp:
Feb 18, 2011, 11:49:36 AM (9 years ago)
Author:
mulligan
Message:

Finished tightening everything up. Just under 16 pages. Cannot add another sentence without it going over!

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ITP-Paper/itp-2011.bib

    r568 r571  
    4444{ atkey:coqjvm:2007,
    4545  author = {Robert Atkey},
    46   title = {{CoqJVM}: An executable specification of the Java virtual machine using dependent types},
     46  title = {{CoqJVM}: An executable specification of the {Java Virtual Machine} using dependent types},
    4747  booktitle = {Proceedings of the Conference of the {TYPES} Project},
    4848  pages = {18--32},
Note: See TracChangeset for help on using the changeset viewer.