Sciweavers

16790 search results - page 173 / 3358
» A Future for Software Engineering
Sort
View
VMCAI
2004
Springer
14 years 2 months ago
A Complete Method for the Synthesis of Linear Ranking Functions
Andreas Podelski, Andrey Rybalchenko
VMCAI
2004
Springer
14 years 2 months ago
Security, Protocols, and Trust
Joshua D. Guttman
XPU
2004
Springer
14 years 2 months ago
Transitioning to XP
Michael Hill