Enhancing the tractability of rely/guarantee specifications in the development of interfering operations (2000)

Cached

Download Links

by P. Collette , C. B. Jones
Venue:Foundations of Computing
Citations:22 - 9 self