John Barstow

Publication Activity (10 Years)

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

Publications

Ulrich Kühne, Sven Beyer, Jörg Bormann, John Barstow
Automated formal verification of processors based on architectural models. FMCAD (2010)