Sciweavers

15885 search results - page 122 / 3177
» The Modest Software Engineer
Sort
View
100
Voted
PSSE
2004
Springer
15 years 7 months ago
A Tutorial Introduction to CSP in Unifying Theories of Programming
Ana Cavalcanti, Jim Woodcock
89
Voted
PSSE
2004
Springer
15 years 7 months ago
Real-Time and Fault-Tolerant Systems
Zhiming Liu, Mathai Joseph
VMCAI
2004
Springer
15 years 7 months ago
Security Types Preserving Compilation: (Extended Abstract)
Gilles Barthe, Amitabh Basu, Tamara Rezk