Normal view MARC view ISBD view

A Set Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers

SARkar, Dilip SARkar, S. C. De

A Set Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers - 1368-1381 p.

Subjects--Topical Terms:
Program Verification
Theorem
Symbolic

Print
Request article
Suggest for purchase
Send to device
Save record
BIBTEX Dublin Core ISBD MARCXML RIS
More searches

Search for this title in:
Other Databases (Google Scholar) Open Library (openlibrary.org) Pakistan Union Catalogue (pastic.gov.pk) Other Libraries (WorldCat)