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

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