Daniel Vainer

According to our database, Daniel Vainer authored at least 1 paper in 2001.

Collaborative distances:

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

2001

Dynamic Assertions Using TXP.

Surrendra Dudani, Joao Geada, Grzegorz Jakacki, Daniel Vainer

Proceedings of the Workshop on Runtime Verification, 2001