Open AccessFormally Documenting Tenderbake
Author(s) -
Sylvain Conchon,
Alexandrina Korneva,
Çagdas Bozman,
Mohamed Iguernlala,
Alain Mebsout
Publication year - 2021
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
DOI - 10.4230/oasics.fmbc.2021.5
Subject(s) - computer science