Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algorithmic specifications: a constructive specification method for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extending Ina Jo with Temporal Logic
IEEE Transactions on Software Engineering
Program specification and development in standard ML
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Subtyping and constructive specification
Nordic Journal of Computing
| Hi-index | 0.00 |