Sciweavers

10899 search results - page 153 / 2180
» The GP Programming System
Sort
View
WCRE
1998
IEEE
15 years 10 months ago
Program Comprehension in Multi-Language Systems
Bernt Kullbach, Andreas Winter, Peter Dahm, Jü...
TACAS
2000
Springer
106views Algorithms» more  TACAS 2000»
15 years 10 months ago
Verification of Parameterized Systems Using Logic Program Transformations
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...