Publications

Generating precise and concise procedure summaries

• • Greta Yorsh
  • Eran Yahav
  • et al.
• 2008
• POPL 2008