Formal semantics for SA style data flow diagram specification languages
Proceedings of the 1999 ACM symposium on Applied computing
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering
Hi-index | 0.00 |