Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Formal methods 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, proceedings

Formal methods foundations and applications : 23rd Brazilian symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, proceedings

Formal methods foundations and applications : 24th Brazilian Symposium, SBMF 2021, virtual event, December 6-10, 2021 : proceedings

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Formal Methods 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings

Formal methods 24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings

Export / Download

PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)

Formal methods
ID: 2247212