A compiler approach to scalable concurrent-program design
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using weaves for software construction and analysis
ICSE '91 Proceedings of the 13th international conference on Software engineering
Hi-index | 0.00 |