icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
About
Our Work
Publications
News and Events
Education and Outreach
Careers
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