Runtime assertion checking for JML on the eclipse platform using AST merging

Description

Thesis (M.S.)--University of Texas at El Paso, 2009. / 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/591294036
Date	January 2009
Creators	Sarcar, Amritam,
Source Sets	OCLC
Language	English
Detected Language	English
Source	To access this resource online via ProQuest Dissertations and Theses @ UTEP