Nr. 5 (2003): RS-5 Precise Analysis of String Expressions

Artikler

• Precise Analysis of String Expressions

  Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach

  • PDF (English)