Formal Verification of Programs and . . . (2010)

by Guodong Li