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 条
  • [21] PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PHOSPHORUS IN SEDIMENTS - ABSTRACTS
    不详
    HYDROBIOLOGIA, 1993, 253 (1-3) : 99 - 102
  • [22] THE 3RD INTERNATIONAL WORKSHOP ON THE STANDARDIZATION OF INSULIN AUTOANTIBODY MEASUREMENT
    PALMER, JP
    WILKIN, TJ
    KURTZ, AB
    BONIFACIO, E
    DIABETOLOGIA, 1990, 33 (01) : 60 - 61
  • [23] Proceedings of the 3rd international workshop on: Semantic digital archives
    Predoiu, Livia
    Mitschick, Annett
    Nürnberger, Andreas
    Risse, Thomas
    Ross, Seamus
    CEUR Workshop Proceedings, 2013, 1091
  • [24] The 3rd International Workshop on Space Radiation Research - Introduction
    Cucinotta, FA
    RADIATION RESEARCH, 2005, 164 (04) : 453 - 453
  • [25] 3rd International Workshop and Exhibition on Plasma Assisted Combustion
    V. E. Messerle
    A. B. Ustimenko
    Thermophysics and Aeromechanics, 2008, 15 : 351 - 358
  • [26] THE 3RD INTERNATIONAL WORKSHOP ON PHOSPHORUS IN SEDIMENTS - SUMMARY AND SYNTHESIS
    BOERS, PCM
    CAPPENBERG, TE
    VANRAAPHORST, W
    HYDROBIOLOGIA, 1993, 253 (1-3) : R11 - R18
  • [27] 3rd International Workshop on Advances and Applications of Problem Frames
    Tun, Thein T.
    Hall, Jon G.
    Rapanotti, Lucia
    Cox, Karl
    Jin, Zhi
    ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2008, : 1029 - 1030
  • [28] The 3rd international workshop on ontology dynamics - IWOD 2009
    D'Aquin, Mathieu
    Antoniou, Grigoris
    CEUR Workshop Proceedings, 2009, 519
  • [29] The 3rd International Lafora Epilepsy Workshop: Evidence for a cure
    Brewer, M. Kathryn
    Gentry, Matthew S.
    EPILEPSY & BEHAVIOR, 2018, 81 : 125 - 127
  • [30] 3rd International Workshop on Release Engineering (RELENG 2015)
    Adams, Bram
    Bellomo, Stephany
    Bird, Christian
    Khomh, Foutse
    Moir, Kim
    2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, Vol 2, 2015, : 995 - 996
12345