Sciweavers

16682 search results - page 206 / 3337
» Software Engineering Education
Sort
View
FOSSACS
1999
Springer
15 years 8 months ago
Testing Hennessy-Milner Logic with Recursion
Luca Aceto, Anna Ingólfsdóttir
FOSSACS
1999
Springer
15 years 8 months ago
Equational Properties of Mobile Ambients
Andrew D. Gordon, Luca Cardelli
98
Voted
CODES
1998
IEEE
15 years 8 months ago
Communication estimation for hardware/software codesign
Peter Voigt Knudsen, Jan Madsen
COMPSAC
1998
IEEE
15 years 8 months ago
Position Paper
René Klösch