Diego Machado Dias

According to our database¹, Diego Machado Dias authored at least 3 papers between 2011 and 2017.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2017

Mechanising an algebraic rely-guarantee refinement calculus.

[BibT_eX]

[DOI]

PhD thesis, 2017

2014

Compositionality and correctness of fault tolerant patterns in HOL4.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

2011

Behavioural Preservation in Fault Tolerant Patterns.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011