Leonid Mikhailov

According to our database, Leonid Mikhailov authored at least 1 paper in 2002.

Collaborative distances:

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

2002

An Approach to Combining B and Alloy.

Leonid Mikhailov, Michael J. Butler

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002