The Fugue protocol checker: Is your software Baroque? (2003)

by Robert DeLine , Manuel Fähndrich
Citations:34 - 2 self