Brian R. Hicks

According to our database, Brian R. Hicks authored at least 1 paper in 1999.

Collaborative distances:

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

1999

Tool Support for Production Use of Formal Techniques.

John C. Knight, P. Thomas Fletcher, Brian R. Hicks

Proceedings of the FM'99 - Formal Methods, 1999