Publications
Filter by
Open menu
1 result at
TACAS - ETAPS 2005
Dependent types for program understanding
Raghavan Komondoor
G. Ramalingam
et al.
2005
TACAS - ETAPS 2005