equal
deleted
inserted
replaced
|
1 |
|
2 |
|
3 @PhdThesis{Myreen09, |
|
4 author = {M.~O.~Myreen}, |
|
5 title = {{F}ormal {V}erification of {M}achine-{C}ode {P}rograms}, |
|
6 year = 2009, |
|
7 school = {University of Cambridge} |
|
8 } |
|
9 |
1 @article{Nipkow98, |
10 @article{Nipkow98, |
2 author={T.~Nipkow}, |
11 author={T.~Nipkow}, |
3 title={{W}inskel is (almost) {R}ight: {T}owards a {M}echanized {S}emantics {T}extbook}, |
12 title={{W}inskel is (almost) {R}ight: {T}owards a {M}echanized {S}emantics {T}extbook}, |
4 journal={Formal Aspects of Computing}, |
13 journal={Formal Aspects of Computing}, |
5 volume=10, |
14 volume=10, |