Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of the ACM (JACM)
Procedural implementation of algebraic specification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |