1
Leave a Reply

1 Subiecte de discutie
0 Raspunsuri la subiect
0 Followeri
 
Comentariul cu cele mai multe reactii
Cele mai in voga subiecte
0 Autori comentarii
  Urmareste  
cele mai noi cele mai vechi cele mai votate
Notifica despre

[…] smart contracts Ethereum. VeriSol va permite dezvoltatorilor să scrie specificații pentru contractele smart utilizând un limbaj intermediar care poate fi testat folosind mecanisme logice […]