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 条
  • [41] 3RD INTERNATIONAL IMMUNOLOGICAL MONITORING SYMPOSIUM - WORKSHOP SUMMARY
    CARPENTER, CB
    TRANSPLANTATION PROCEEDINGS, 1983, 15 (03) : 1995 - 1998
  • [42] Proceedings of the 3rd International Powdery Scab Workshop Abstracts
    Merz, Ueli
    Falloon, Richard E.
    POTATO RESEARCH, 2017, 60 (02) : 195 - 197
  • [43] 3RD MOLSIDOMIN WORKSHOP
    不详
    HERZ KREISLAUF, 1982, 14 (03): : 165 - 166
  • [44] 3rd Workshop on Automata, Formal and Natural Languages - WAFNL 2022 (Preface)
    Andrejková, Gabriela
    Hlaváčová, Jaroslava
    Jajcayová, Tatiana
    Lopatková, Markéta
    Mareček, David
    Mlynárčik, Peter
    Mráz, František
    Otto, Friedrich
    Pardubská, Dana
    Plátek, Martin
    Průša, Daniel
    Rosa, Rudolf
    Straková, Jana
    Szabari, Alexander
    Vojtáš, Peter
    Pardubská, Dana
    Plátek, Martin
    CEUR Workshop Proceedings, 2022, 3226
  • [45] 3rd International Workshop on Designing Empirical Studies: Assessing the Effectiveness of Agile Methods (IWDES 2009)
    Di Penta, Massimiliano
    Morasca, Sandro
    Sillitti, Alberto
    AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING: 10TH INTERNATIONAL CONFERENCE, XP 2009, 2009, 31 : 234 - +
  • [46] REPORT ON THE 3RD TYRRHENIAN INTERNATIONAL WORKSHOP ON DIGITAL-COMMUNICATIONS
    DELRE, E
    IEEE COMMUNICATIONS MAGAZINE, 1988, 26 (04) : 53 - 53
  • [47] SPECIAL ISSUE 3rd International Workshop Physics and Computation 2010
    Calude, Cristian S.
    Costa, Jose Felix
    INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING, 2011, 7 (05) : 313 - 313
  • [48] REVIEW OF THE 3RD INTERNATIONAL OPACITY WORKSHOP AND CODE COMPARISON STUDY
    RICKERT, A
    JOURNAL OF QUANTITATIVE SPECTROSCOPY & RADIATIVE TRANSFER, 1995, 54 (1-2): : 325 - 332
  • [49] 3rd International Workshop on Learning Software Organizations (LSO'01)
    Empirical Software Engineering, 2001, 6 (2) : 181 - 181
  • [50] Editorial—The 3rd International Workshop on Modeling the Ocean (IWMO 2011)
    Lie-Yauw Oey
    Tal Ezer
    Bo Qiu
    Jarle Berntsen
    Ruoying He
    Ocean Dynamics, 2013, 63 : 307 - 309
12345