1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
@article{leroy09_formal_verif_realis_compil,
author = {Leroy, Xavier},
title = {Formal Verification of a Realistic Compiler},
journal = {Commun. ACM},
volume = 52,
number = 7,
pages = {107-115},
year = 2009,
doi = {10.1145/1538788.1538814},
address = {New York, NY, USA},
issn = {0001-0782},
issue_date = {July 2009},
month = jul,
numpages = 9,
publisher = {ACM},
}
|