Daniel E. Cooke, Ann Q. Gates, Elif Demirörs, Onur Demirörs, Murat M. Tanik, Bernd J. Krämer. Languages for the specification of software. Journal of Systems and Software, 32(3):269-308, 1996. [doi]
No references recorded for this publication.
No citations of this publication recorded.