3rd International Workshop on Formal Methods for Blockchains

被引：0
|
作者：
Bernardo, Bruno [1 ]
Marmsoler, Diego [2 ]
机构：
[1] Nomadic Labs, Paris, France
[2] University of Exeter, United Kingdom
来源：
OpenAccess Series in Informatics | 2021年 / 95卷
关键词：
D O I：
10.4230/OASIcs.FMBC.2021.0
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] 3rd International Workshop and Tutorial, FMTea 2019, held as part of the 3rd World Congress on Formal Methods, FM 2019
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11758 LNCS
  • [2] 3RD INTERNATIONAL CAFFEINE WORKSHOP
    不详
    NUTRITION REVIEWS, 1981, 39 (04) : 183 - 191
  • [3] 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015)
    Gnesi, Stefania
    Plat, Nico
    2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, Vol 2, 2015, : 977 - 978
  • [4] 3rd International Workshop on Pervasive Participation
    Thiel, Sarah-Kristin
    Froehlich, Peter
    Ruoppila, Sampo
    Astrom, Joachim
    Baldauf, Matthias
    Tscheligi, Manfred
    PROCEEDINGS OF THE NORDICHI '16: THE 9TH NORDIC CONFERENCE ON HUMAN-COMPUTER INTERACTION - GAME CHANGING DESIGN, 2016,
  • [5] 3RD INTERNATIONAL ROPE TECHNOLOGY WORKSHOP
    HEARLE, JWS
    SEA TECHNOLOGY, 1995, 36 (09) : 49 - 50
  • [6] 2nd workshop on formal methods for blockchains
    Bernardo, Bruno
    Marmsoler, Diego
    OpenAccess Series in Informatics, 2020, 84
  • [7] 3RD INTERNATIONAL WORKSHOP OF THE BELLMAN-CONTINUUM
    BLAQUIERE, A
    IEEE COMMUNICATIONS MAGAZINE, 1988, 26 (10) : 87 - 87
  • [8] 3rd International Workshop on:: "HCI in mobile guides"
    Cheverst, K
    Schmidt-Belz, B
    MOBILE HUMAN-COMPUTER INTERACTION - MOBILEHCI 2004, PROCEEDINGS, 2004, 3160 : 521 - 522
  • [9] 3RD INTERNATIONAL WORKSHOP ON LANGERHANS CELLS - INTRODUCTION
    BAER, RL
    JOURNAL OF INVESTIGATIVE DERMATOLOGY, 1992, 99 (05) : S5 - S6
  • [10] 3rd International Workshop on Ubiquitous Mobile Instrumentation
    Ferreira, Denzil
    Okoshi, Tadashi
    Nishiyama, Yuuki
    Koehler, Christian
    Park, Jung Wook
    Lucero, Andres
    UBICOMP'16 ADJUNCT: PROCEEDINGS OF THE 2016 ACM INTERNATIONAL JOINT CONFERENCE ON PERVASIVE AND UBIQUITOUS COMPUTING, 2016, : 608 - 611
12345