Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Filter
  • 1-6 ل  6 نتائج ل ""specification""
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Audio

Towards contract modules for the tezos blockchain (short paper)

  • Source: 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021). - Wadern, 2021. - 5, ISBN: 978-3-95977-209-9

تفاصيل العنوان

×
Academic Journal

Whip: Human and machine-readable specifications for data

  • Authors : Stijn Van Hoey; Peter Desmet; 10th International Conference on Ecological Informatics- Translating Ecological Data into Knowledge and Decisions in a Rapidly Changing World

Subjects: article; ddc:004; ddc:570

تفاصيل العنوان

×
  • 1-6 ل  6 نتائج ل ""specification""