Enforcing High-Level Protocols in Low-Level Software (2001)

by Robert DeLine , Manuel Fahndrich
Citations:362 - 9 self