Meiring, Patrick A.
- Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style
2021/03/29 by Hayes, Ian J., Meinicke, Larissa A., Meiring, Patrick A. · 1 citation
#D.1.3 #D.2.4 #F.3.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)