Patrick A. Meiring

Orcid: 0000-0003-4463-3582

According to our database¹, Patrick A. Meiring authored at least 2 papers between 2018 and 2021.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2021

Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style.

[DOI]

CoRR, 2021

2018

Type Capabilities for Object-Oriented Programming Languages.

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018