From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs.

G. Necula, S. McPeak, S. Rahul, и W. Weimer. CC, том 2304 из Lecture Notes in Computer Science, стр. 213-228. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

A logic-based approach to software system safety and security.G. Necula, и S. Rahul. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 67-68 (2000)CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs.G. Necula, S. McPeak, S. Rahul, и W. Weimer. CC, том 2304 из Lecture Notes in Computer Science, стр. 213-228. Springer, (2002)Oracle-based checking of untrusted software.G. Necula, и S. Rahul. POPL, стр. 142-154. ACM, (2001)ACM SIGPLAN Notices 36(3), March 2001.