A constraint-based approach to verification of programs with floating-point numbers

Description

Thesis (M.S.)--University of Texas at El Paso, 2007. / Title from title screen. Vita. CD-ROM. Includes bibliographical references. Also available online.

Links & Downloads

1. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/217300975
Date	January 2007
Creators	Acosta Zapién, Carlos Eduardo,
Source Sets	OCLC
Language	English
Detected Language	English
Source	To access this resource online via ProQuest Dissertations and Theses @ UTEP