Lilian Burdy, Ludovic Casset, Antoine Requet. Développement formel d un vérifieur embarqué de byte-code Java. Technique et Science Informatiques, 22(1):33-60, 2003. [doi]
@article{BurdyCR03,
title = {Développement formel d un vérifieur embarqué de byte-code Java},
author = {Lilian Burdy and Ludovic Casset and Antoine Requet},
year = {2003},
url = {http://tsi.revuesonline.com/article.jsp?articleId=3736},
tags = {Java},
researchr = {https://researchr.org/publication/BurdyCR03},
cites = {0},
citedby = {0},
journal = {Technique et Science Informatiques},
volume = {22},
number = {1},
pages = {33-60},
}