Elements of Software Science (Operating and programming systems series)
Elements of Software Science (Operating and programming systems series)
Extending object oriented programming in Smalltalk
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
A system for program refinement
ICSE '79 Proceedings of the 4th international conference on Software engineering
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Hi-index | 0.00 |