B. Scott Andersen

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

B. Scott Andersen, George Romanski
Verification of Safety-critical Software. ACM Queue 9 (8) (2011)
B. Scott Andersen, George Romanski
Verification of safety-critical software. Commun. ACM 54 (10) (2011)