Dynamic system specification

• 1 January 1980
• conference paper
• Published by Association for Computing Machinery (ACM)
• Vol. 11  (2) , 95-97
• https://doi.org/10.1145/800227.806885

Abstract