Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings

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

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • 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-