-
1رسالة جامعيةScalable and precise verification based on k-induction, symbolic execution and floating-point theory
المؤلفون: Ramalho Gadelha, Mikhail Yasha
المساهمون: Nicole, Denis
مصطلحات موضوعية: 005.3
-
2رسالة جامعية
-
3Scalable and precise verification based on k-induction, symbolic execution and floating-point theory
المؤلفون: Ramalho Gadelha, Mikhail, Yasha
المصدر: IndraStra Global.
وصف الملف: text
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::42e3f2ba5f4680c9714460a1eca920dcTest
https://igi.indrastra.com/items/show/294987Test -
4مورد إلكترونيScalable and precise verification based on k-induction, symbolic execution and floating-point theory
المؤلفون: Ramalho Gadelha, Mikhail, Yasha.
المصدر: University of Southampton
مصطلحات الفهرس: Thesis, NonPeerReviewed
-
5مورد إلكتروني
المصدر: University of Southampton
مصطلحات الفهرس: Thesis, NonPeerReviewed
-
6رسالة جامعية
-
7رسالة جامعية