Navegação por Autor "Jähnig, Nils"
Resultados 1-1 de 1
-
Semantics and proof calculus for communicating unstructured code
Azzi, Guilherme Grochau (2015) [Trabalho de conclusão de graduação]Software becomes ever more ubiquitous and complex. Its use in safety-critical environments, where errors may harm people or cost great amounts of money, requires a high level of con dence in its correctness. In order to ...