Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Software engineering with Ada
IEEE Transactions on Software Engineering
Functional programming, formal specification, and rapid prototyping
IEEE Transactions on Software Engineering
Systematic software development using VDM
Systematic software development using VDM
Hi-index | 0.00 |