Joseph A. Goguen, Kai Lin. Behavioral Verification of Distributed Concurrent Systems with BOBJ. In 3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA. pages 216, IEEE Computer Society, 2003. [doi]
Abstract is missing.