Zobrazeno 1 - 2
of 2
pro vyhledávání: '"ARENGAS, GUSTAVO"'
Autor:
Arengas, Gustavo
Software bugs have caused enormous economic and human loss in recent years. Certified programming seeks to solve this problem by developing languages where we can make demonstrations that guarantee that our programs work properly. However, the rapid
Externí odkaz:
http://arxiv.org/abs/2411.00242
Autor:
ARENGAS, GUSTAVO1
Publikováno v:
Revista Colombiana de Matemáticas. 2019, Vol. 53 Issue 2, p165-184. 20p.
