Sciweavers

15777 search results - page 79 / 3156
» Engineering in Software
Sort
View
CSMR
1997
IEEE
15 years 10 months ago
Formal Methods
Michael Löwe
PEPM
1998
ACM
15 years 10 months ago
Logic Program Specialisation
Michael Leuschel
AC
1997
Springer
15 years 10 months ago
Internet Security Protocols
Walter Fumy