Mani Prasad Kancherla and Generating Test Templates - Free people check

(1 - 9 from 9

)

Generating test templates via automated theorem proving [microform]...

searchworks.stanford.edu

Stanford Libraries' official online search tool for books, media, journals, databases, government documents and more.

TY - BOOK AU - Kancherla, Mani Prasad PB - National ...

catalogue.nla.gov.au

... National Technical Information Service, distributor TI - Generating test templates via automated theorem proving [microform] / by Mani Prasad Kancherla T3 ...

Generating test templates via automated theorem proving [microform] /...

catalogue.nla.gov.au

Available in the National Library of Australia collection. Author: Kancherla, Mani Prasad; Format: Book, Microform;

Generating Test Templates Via Automated Theorem Proving - Mani Prasad...

books.google.de

Title, Generating Test Templates Via Automated Theorem Proving. Author, Mani Prasad Kancherla. Publisher, West Virginia University, Length, 168 pages.

Full text of "Generating Test Templates via Automated Theorem Proving"

archive.org

... NASA-IW NASA IV&V Facility, Fairmont, West Virginia Generating Test Templates via Automated Theorem Proving Mani Prasad Kancherla September ...

Generating Test Templates via Automated Theorem Proving

ntrs.nasa.gov

NASA-IVV NASA IV&V Facility, Fairmont, West Virginia Generating Test Templates via Automated Theorem Proving Mani Prasad Kancherla September 3, 1997

All web results to the name "Mani Prasad Kancherla"

[Book] Generating test templates via automated theorem ...fumesikituvipypy.myformatshelf.icu › ...

fumesikituvipypy.myformatshelf.icu

Statement, by Mani Prasad Kancherla. Series, Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory ...

Generating test templates via automated theorem proving - Evergreen...

evergreen.lib.in.us

Generating test templates via automated theorem proving [microform] / by Mani Prasad Kancherla. Kancherla, Mani Prasad. (Author). United States. National ...

Generating test templates via automated theorem proving - Catalog -...

search.library.wisc.edu

$a Generating test templates via automated theorem proving$h [microform] /$c by Mani Prasad Kancherla. 260, $a [Washington, DC :$b National Aeronautics ...

Related search requests for Mani Prasad Kancherla

Prasad Kancherla
Mani Kancherla

People
Forename "Prasad" (3557)
Name "Kancherla" (74)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mani Prasad Kancherla and Generating Test Templates Free People Check