@
article{desharnais-jfla2020,
title={A Generic Framework for Verified Compilers Using Isabelle/HOL’s Locales},
author={Desharnais, Martin and Brunthaler, Stefan},
journal={
31 {
\`e}me Journ{
\'e}es Francophones des Langages Applicatifs},
pages={
198},
year = {
2020},
url = {
https://hal.inria.fr/hal-02427360}
}
¤ Dauer der Verarbeitung: 0.3 Sekunden
¤
*© Formatika GbR, Deutschland
