Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)сборник

Статьи, опубликованные в сборнике

---

• • 2006 The UniTESK Approach to Specification-Based Validation of Hardware Designs
  • Kamkin Alexander
  • в сборнике Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)