@inproceedings{SGB+2,
title = { {Formally Verified Superblock Scheduling} },
author = {Six, Cyril and Gourdin, L\'eo and Boulm\'e, Sylvain and Monniaux, David and Fasse, Justus and Nardino, Nicolas},
month = {Jan},
year = {2022},
booktitle = {{Certified Programs and Proofs (CPP '22)}},
address = {Philadelphia, United States},
pages = {40-54},
publisher = {{ACM Digital Library}},
team = {axe_FormalProofs, axe_SharedResources, axe_Pacs, PACSS},
}
