10 citations · 10 across the 1 of their papers we have counts for
1 paper
Yong Xiao, Zena M. Ariola, Michel Mauny
Recent years have seen an increasing need of high-level specification languages and tools generating code from specifications. In this paper, we introduce a specification language,…