Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Maquet, Nicolas P. P."'
Autor:
Maquet, Nicolas P. P.
This work studies new algorithms and data structures that are useful in the context of program verification. As computers have become more and more ubiquitous in our modern societies, an increasingly large number of computer-based systems are conside
