Visualization of Formal Specifications.

Soon-Kyeong Kim, David A. Carrington

Browse the full APSEC paper archive.