Applying Model Checking to Concurrent Object-Oriented Software.

Seung Mo Cho, Doo-Hwan Bae, Sung Deok Cha, Young Gon Kim, Byung Kyu Yoo, Sang Taek Kim

Browse the full ISADS paper archive.