Sciweavers

17298 search results - page 102 / 3460
» Abstract computing machines
Sort
View
157
Voted
CONCUR
1994
Springer
15 years 11 months ago
Testing-Based Abstractions for Value-Passing Systems
Rance Cleaveland, James Riely