Publication

Number of items: 2.
2009
  • Automatic calculation of coverage profiles for coverage-based testings. (2009) Raimund Kirner and W. Haas
  • On undecidability results of real programming languages. (2009) Raimund Kirner, W. Zimmermann and D. Richter
    • This list was generated on Tue Aug 11 02:51:48 2026 BST.