JCSProB: Implementing Integrated Formal Specifications in Concurrent Java.

Letu Yang Michael Poppleton JCSProB: Implementing Integrated Formal Specifications in Concurrent Java. 67-88 2007 CPA conf/wotug/2007 db/conf/wotug/cpa2007.html#YangP07