dblp.uni-trier.dewww.uni-trier.de

Shree Prakash Rahul

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
2EEGeorge C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer: CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. CC 2002: 213-228
2001
1EEGeorge C. Necula, Shree Prakash Rahul: Oracle-based checking of untrusted software. POPL 2001: 142-154

Coauthor Index

1Scott McPeak [2]
2George C. Necula [1] [2]
3Westley Weimer [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)