Leon Gendler

According to our database, Leon Gendler authored at least 1 paper in 2006.

Collaborative distances:

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

2006

Discern: Towards the Automatic Discovery of Software Contracts.

Yishai A. Feldman, Leon Gendler

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006