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 identifier identifier

  • Basıldığı Şehir: Zürich
  • Basıldığı Ülke: İsviçre
  • Sayfa Sayıları: ss.337-346