Formally Documenting Tenderbake (Short Paper) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sylvain Conchon, Alexandrina Korneva, Çagdas Bozman, Mohamed Iguernlala, Alain Mebsout. Formally Documenting Tenderbake (Short Paper). In Bruno Bernardo, Diego Marmsoler, editors, 3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021, Los Angeles, California, USA (Virtual Conference). Volume 95 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

This author has not been identified. Look up 'Sylvain Conchon' in GoogleThis author has not been identified. Look up 'Alexandrina Korneva' in GoogleThis author has not been identified. Look up 'Çagdas Bozman' in GoogleThis author has not been identified. Look up 'Mohamed Iguernlala' in GoogleThis author has not been identified. Look up 'Alain Mebsout' in Google

runs on WebDSL