Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings
by Gustavo Carvalho, Volker Stolz Paperback 2020
- Author: Gustavo Carvalho, Volker Stolz
- ISBN 13: 9783030638818
- ISBN 10: 3030638812
- Publication Year: 2020
- Language: English
Specifications
Index-103030638812
LanguageEnglish
Index-139783030638818
Period-
Class Track-
Publisher- (2020)
Pages-