Checking system rules using system-specific, programmer-written compiler extensions (2000)

Cached

Download Links

by Dawson Engler , Benjamin Chelf , Andy Chou
Citations:340 - 19 self