Shimon Rura

According to our database, Shimon Rura authored at least 1 paper in 2003.

Collaborative distances:

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

2003

Flexible Static Semantic Checking Using First-Order Logic.

Shimon Rura, Barbara Staudt Lerner

Proceedings of the Software Process Technology, 9th International Workshop, 2003