Control predicates are better than dummy variables for reasoning about program control
ACM Transactions on Programming Languages and Systems (TOPLAS)
An introduction to assertional reasoning for concurrent systems
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |