|
|
|
|
You can sort by any column. Just click on column's title. To sort in descending order - click once more.
| | Views | Cover | Author | Title | Published | Format | Updated | Thank_to |
| 2118314 | 106 |  | Haniel Barbosa | Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4 8, 2023, Proceedings (Lecture Notes in Computer Science) | 2024 | pdf | 5/3/2024 4:25:25 AM | alex21s |
| 1848266 | 166 |  | Gustavo Carvalho, Volker Stolz | Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 2527, 2020, Proceedings (Lecture Notes in Computer Science, 12475) | 2019 | pdf | 11/20/2020 12:12:27 PM | maveriks |
| 1544104 | 48 |  | Tiago Massoni, Mohammad Reza Mousavi | Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 2630, 2018, Proceedings (Lecture Notes in Computer Science) | 24 Oct. 2018 | pdf | 5/18/2019 1:50:18 PM | alex21s |
| 1518294 | 89 |  | (auth.), Rohit Gheyi, David Naumann (eds.) | Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Procee | 2019 | PDF | 4/9/2019 8:26:14 AM | eternal |
|
|
|
|