Software System Reliability and Security
Charles Antony Richard Hoare
Concurrent programming in Java: design principles and patterns. The Java series. Addison- Wesley, Reading, MA, USA, 1996. [42] Gary Todd Leavens. Verifying Object-Oriented Programs that Use Subtypes. PhD thesis, MIT Laboratory for ...