Yukuh Tung;Amir A. Khwaja;Joseph E. Urban
-;-;-
A methodology for high-level software specification construction
ACM SIGSOFT Software Engineering Notes
A property based specification formalism classification
Journal of Systems and Software