DMCA

Testing-Based Abstractions for Value-Passing Systems (1994)

by Rance Cleaveland , James Riely
Venue:In CONCUR'94, number 836 in Lecture Notes in Computer Science
Citations:29 - 2 self