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...