Sciweavers

4752 search results - page 13 / 951
» Dependability in Web Software
Sort
View
AC
2000
Springer
15 years 7 months ago
An Introduction to Dependent Type Theory
Gilles Barthe, Thierry Coquand
ICSM
1998
IEEE
15 years 7 months ago
Slicing Objects Using System Dependence Graphs
Donglin Liang, Mary Jean Harrold
CC
2008
Springer
15 years 5 months ago
Visualization of Program Dependence Graphs
Thomas Würthinger, Christian Wimmer, Hanspete...