Algorithmic specifications: a constructive specification method for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
ACM Transactions on Programming Languages and Systems (TOPLAS)
On what exactly is going on when software is developed step-by-step
ICSE '84 Proceedings of the 7th international conference on Software engineering
Hi-index | 0.00 |