“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th international conference on Software Engineering
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
Hi-index | 0.00 |