Sciweavers

15777 search results - page 145 / 3156
» Engineering in Software
Sort
View
101
Voted
FOSSACS
1999
Springer
15 years 7 months ago
Testing Hennessy-Milner Logic with Recursion
Luca Aceto, Anna Ingólfsdóttir
82
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
Adaptable Components
Grady H. Campbell Jr.