-
1
-
2
-
3
Capivara: A decentralized package version control using Blockchain
Veröffentlicht in arXiv.org
VolltextArtikel -
4
Formalization of the pumping lemma for context-free languages
Veröffentlicht in Journal of Formalized Reasoning
VolltextArtikel