Using partial evaluation to enable verification of concurrent software
Dwyer, Matthew, Hatcliff, John, Nanda, MuhammadVolume:
30
Language:
english
Journal:
ACM Computing Surveys
DOI:
10.1145/289121.289143
Date:
September, 1998
File:
PDF, 147 KB
english, 1998