Brad Elmore

According to our database, Brad Elmore authored at least 1 paper in 1991.

Collaborative distances:

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

1991

VERT-verification of real-time programs.

Mike Beaven, Brad Elmore, Dan C. Marinescu, Ryan Stansifer

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991