Selected papers from the Brazilian Symposium on Formal...

Science of Computer Programming 2020 / 06 Vol. 191

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017)

Cavalheiro, Simone, Fiadeiro, José Luiz
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
191
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2020.102427
Date:
June, 2020
File:
PDF, 122 KB
2020
Conversion to is in progress
Conversion to is failed