Sciweavers

31387 search results - page 156 / 6278
» Abstracts
Sort
View
MSR
2005
ACM
16 years 13 days ago
Understanding source code evolution using abstract syntax tree matching
Iulian Neamtiu, Jeffrey S. Foster, Michael W. Hick...
ASM
2005
ASM
16 years 12 days ago
Tools for System Validation with B Abstract Machines
Michael J. Butler, Michael Leuschel, Colin F. Snoo...