John Barstow

According to our database, John Barstow authored at least 1 paper in 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Automated formal verification of processors based on architectural models.

Ulrich Kühne, Sven Beyer, Jörg Bormann, John Barstow

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010