Structured analysis—formal design, using stream and object oriented formal specifications
Conference proceedings on Formal methods in software development
The Larch/Smalltalk interface specification language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |