Patrick A. Meiring

Orcid: 0000-0003-4463-3582

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

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

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

2018
Type Capabilities for Object-Oriented Programming Languages.
Proceedings of the Formal Methods and Software Engineering, 2018


  Loading...