Ajay Chitturi

Publication Activity (10 Years)

Years Active: 1997-1997
Publications (10 Years): 0

Publications

Patrick Tullmann, Jeff Turner, John McCorquodale, Jay Lepreau, Ajay Chitturi, Godmar Back
Formal Methods: A Practical Tool for OS Implementors. Workshop on Hot Topics in Operating Systems (1997)