Formally Documenting Tenderbake (Short Paper).

Sylvain Conchon, Alexandrina Korneva, agdas Bozman, Mohamed Iguernlala, Alain Mebsout

Browse the full CAV paper archive.