Ajay Chitturi

According to our database, Ajay Chitturi authored at least 1 paper in 1997.

Collaborative distances:

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

1997

Formal Methods: A Practical Tool for OS Implementors.

Patrick Tullmann, Jeff Turner, John McCorquodale, Jay Lepreau, Ajay Chitturi, Godmar Back

Proceedings of The Sixth Workshop on Hot Topics in Operating Systems, 1997