Scalable Software Model Checking Using Design for Verification

---

Atıf İçin Kopyala

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

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

• 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