N. S. Pendharkar

According to our database, N. S. Pendharkar authored at least 1 paper in 1998.

Collaborative distances:

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

1998

Formal Verification of an O. S. Submodule.

N. S. Pendharkar, K. Gopinath

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998