Sciweavers

16725 search results - page 253 / 3345
» Engineering Software Correctness
Sort
View
88
Voted
KORSO
1995
15 years 7 months ago
Task Description
Thomas Lindner
145
Voted
KORSO
1995
15 years 7 months ago
CSL
Klaus Nökel, Klaus Winkelmann
112
Voted
PEPM
1995
ACM
15 years 7 months ago
Effect Systems with Subtyping
Yan Mei Tang, Pierre Jouvelot
101
Voted
TAPSOFT
1995
Springer
15 years 7 months ago
Can you Trust your Data?
Peter Ørbæk
97
Voted
AC
1991
Springer
15 years 7 months ago
EDI Security
Gordon Lennox