Conference paper
Automatic taxonomy generation: Issues and possibilities
Raghu Krishnapuram, Krishna Kummamuru
IFSA 2003
Paper
An experiment in automatic verification of programs
Abstract
How effective is a compiler at replacing explicit verification, and what is the cost of this technique?. © 1963, ACM. All rights reserved.
Related
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007
Fan Zhang, Junwei Cao, et al.
IEEE TETC