Sanjeev Dharap

According to our database, Sanjeev Dharap authored at least 2 papers in 1990.

Collaborative distances:

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

1990

Formal Specification of a Look Manager.

K. T. Narayana, Sanjeev Dharap

IEEE Trans. Software Eng., 1990

Invariant properties in a dialog system.

K. T. Narayana, Sanjeev Dharap

Proceedings of the Conference proceedings on Formal methods in software development, 1990