An axiomatic basis for computer programming
Communications of the ACM
Solution of a problem in concurrent programming control
Communications of the ACM
Loop invariants: Analysis, classification, and examples
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |