Steve Burns

Publication Activity (10 Years)

Years Active: 1996-1998
Publications (10 Years): 0

Publications

William Chan, Richard J. Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon Damon Reese
Model Checking Large Software Specifications. IEEE Trans. Software Eng. 24 (7) (1998)
Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Damon Reese
Model Checking Large Software Specifications. SIGSOFT FSE (1996)