Visualization of formal specifications. (1999)

by S-K Kim, D Carrington
Venue:In 6th Aisa Pacific Software Engineering Conference,