|
:es: ¿Es importante la verificación formal? + bonus | CH AMA 15 Mar 2020
|
0
|
433
|
20 March 2020
|
|
Reviewing the reviewers, and other ways to improve the peer review process
|
0
|
349
|
4 March 2019
|
|
Proof of correctness of Cardano system
|
1
|
671
|
13 December 2017
|
|
Resumen: En defensa de la Revisión por pares (Peer Review), Charles Hoskinson. Traducción al español
|
0
|
454
|
10 February 2019
|
|
Formal Verification - A brief overview 形式的検証 ー概略
|
0
|
549
|
31 January 2023
|