Sciweavers

12745 search results - page 106 / 2549
» Automating test automation
Sort
View
CCL
1994
Springer
15 years 8 months ago
Constraints for Polymorphic Behaviours of Concurrent ML
Flemming Nielson, Hanne Riis Nielson
CSL
1993
Springer
15 years 8 months ago
Process Algebra with Combinators
Jan A. Bergstra, Inge Bethke, Alban Ponse