Publications

Home
Publications

1 result at TACAS - ETAPS 2005

Dependent types for program understanding
- - Raghavan Komondoor
  - G. Ramalingam
  - et al.
- 2005
- TACAS - ETAPS 2005
Conference paper

Date

Start

End

Featured collections

Popular topics