Jeremy Dick;Jérôme Loubersac
-;-
Visualization of Formal Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference