Cardano Forum
Formal verification
English
Education
peer-review
,
formal-verification
,
sean-alimov
SeanAlimov
10 May 2019 21:29
1
1 Like
SeanAlimov
10 May 2019 21:30
2
Related topics
Topic
Replies
Views
Activity
Cryptography
Education
sean-alimov
,
cryptography
3
834
10 May 2019
BLOCKCHAIN GAMES
Education
sean-alimov
,
extra-credit
6
618
10 May 2019
Haskell tutorials
Education
sean-alimov
,
haskell
2
523
10 May 2019
Formal Verification - A brief overview 形式的検証 ー概略
エデュケーション
translation
0
536
31 January 2023
Formal Specification for a Cardano Wallet
Education
0
601
6 May 2018