Scalable Software Model Checking Using Design for Verification

TEVFİK B., BETİN CAN A.

Verified Software: Theories, Tools, Experiments, Zürich, İsviçre, 10 - 13 Kasım 2005, ss.337-346, (Tam Metin Bildiri)

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Basıldığı Şehir: Zürich
  • Basıldığı Ülke: İsviçre
  • Sayfa Sayıları: ss.337-346
  • Orta Doğu Teknik Üniversitesi Adresli: Hayır