Lecturer Junttila Tommi group

Verkko

Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
  • Formal Analysis of Lending Pools in Decentralized Finance

    Bartoletti, M., Chiang, J., Junttila, T., Lluch Lafuente, A., Mirelli, M. & Vandin, A., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (toim.). s. 335-355 21 Sivumäärä (Lecture Notes in Computer Science ; Vuosikerta 13703 LNCS).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    Open access
    1 Sitaatiot (Scopus)