Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

book · Lecture notes in computer science · 2024

Formal Methods

International Symposium on Formal Methods 2024 Mailand, Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

Cited by 2Open access

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

APA 7

Mailand, I. S. O. F. M. , Platzer, A., Rozier, K. Y., Pradella, M., & Rossi, M. (2024). Formal Methods. Lecture notes in computer science. https://doi.org/10.1007/978-3-031-71162-6

MLA 9

Mailand, International Symposium on Formal Methods 2024, et al. “Formal Methods.” Lecture notes in computer science, 2024, https://doi.org/10.1007/978-3-031-71162-6.

Chicago

Mailand, International Symposium on Formal Methods 2024, André Platzer, Kristin Yvonne Rozier, Matteo Pradella, and Matteo Rossi. 2024. “Formal Methods.” Lecture notes in computer science. https://doi.org/10.1007/978-3-031-71162-6.

Harvard

Mailand, I.S.O.F.M. et al. (2024) ‘Formal Methods’, Lecture notes in computer science. Available at: https://doi.org/10.1007/978-3-031-71162-6.

BibTeX
@book{mailand2024formal,
  title = {{Formal Methods}},
  author = {Mailand, International Symposium on Formal Methods 2024 and Platzer, André and Rozier, Kristin Yvonne and Pradella, Matteo and Rossi, Matteo},
  publisher = {Lecture notes in computer science},
  year = {2024},
  doi = {10.1007/978-3-031-71162-6}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.

Related papers