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

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