@inproceedings{MGB+3,
title = { {Testing a Formally Verified Compiler} },
author = {Monniaux, David and Gourdin, L\'eo and Boulm\'e, Sylvain and Lebeltel, Olivier},
month = {Jul},
year = {2023},
booktitle = {{Tests and Proofs (TAP 2023)}},
address = {Leicester, United Kingdom},
pages = {40-48},
publisher = {{Springer Nature Switzerland}},
series = {Lecture Notes in Computer Science},
volume = {14066},
team = {axe_FormalProofs, axe_Pacs, PACSS, TEMPO},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32408956
|
|
|