Zobrazeno 1 - 1
of 1
pro vyhledávání: '"ANTONINO, Pedro Ribeiro Gonçalves"'
Publikováno v:
Repositório Institucional da UFPEUniversidade Federal de PernambucoUFPE.
The increase of computer systems complexity has led to a direct increase in the difficulty of verifying their correctness. For mastering this complexity, formal methods can be used in the development of systems providing techniques for both design an
Externí odkaz:
https://repositorio.ufpe.br/handle/123456789/11966
