icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
Home
Publications
Authors
Nishant Sinha
Nishant Sinha
Nishant Sinha is an SEI alumni employee.
All
Assume-Guarantee Reasoning for Deadlock
September 1, 2006
•
Technical Note
By
Sagar Chaki
,
Nishant Sinha
Verification of Evolving Software via Component Substitutability Analysis
December 1, 2005
•
Technical Report
By
Sagar Chaki
,
Edmund Clarke
,
Natasha Sharygina
,
Nishant Sinha
A Basis for Composition Language CL
September 1, 2002
•
Technical Note
By
James Ivers
,
Nishant Sinha
,
Kurt C. Wallnau