Login / Signup

An Invitation to Formal Methods.

Jonathan P. BowenRicky W. ButlerDavid L. DillRobert L. GlassDavid GriesAnthony HallMichael G. HincheyC. Michael HollowayDaniel JacksonCliff B. JonesMichael J. LutzDavid Lorge ParnasJohn M. RushbyJeannette M. WingPamela Zave
Published in: Computer (1996)
Keyphrases