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

Export / Download

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

Formal methods
ID: 2247212