Sciweavers

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