Cardano中的半形式化开发方法(Translation of Semi-Formal Development)

中文教育支持

yihuang 11 June 2018 12:30 1

4 Likes

Topic		Replies	Views	Activity
:es: Fusionar los métodos formales y el desarrollo ágil para construir Cardano General translation , español-🇪🇸 , traducción	0	919	10 April 2020
:portugal: Fundir métodos formais e o desenvolvimento ágil para construir Cardano Translations português-🇵🇹 , translated-content	0	615	13 April 2020
:it: Unire metodi formali e sviluppo agile per costruire Cardano Educazione translation , italiano-it	0	1177	10 April 2020
IOHK Blog: merging formal methods and agile development to build Cardano Education	0	1391	10 April 2020
为什么IOG使用形式化方法来构建Cardano 其他	0	357	31 January 2023