SeSFJava: A Framework for Design and Assertion-Testing Of Concurrent Systems

Tamer Elsharnouby. SeSFJava: A Framework for Design and Assertion-Testing Of Concurrent Systems. PhD thesis, University of Maryland, College Park, MD, USA, 2005. [doi]

Abstract

Abstract is missing.