Sciweavers

15974 search results - page 238 / 3195
» Object-Oriented Software Engineering
Sort
View
106
Voted
FOSSACS
1999
Springer
15 years 8 months ago
Testing Hennessy-Milner Logic with Recursion
Luca Aceto, Anna Ingólfsdóttir
99
Voted
FOSSACS
1999
Springer
15 years 8 months ago
Equational Properties of Mobile Ambients
Andrew D. Gordon, Luca Cardelli
COMPSAC
1998
IEEE
15 years 8 months ago
Position Paper
René Klösch