Subject
Computer Science Applications,Information Systems,Software
Reference7 articles.
1. The algebraic specification of abstract data types;Guttag;Acta Inf.,1978
2. Specifications: formal and informal-a case study;Gehani;Soft. Pract. Exper.,1982
3. An informal introduction to the specification language Z;Brown,1986
4. The specification of computer systems;Cohen,1986
5. Software engineering;Sommerville,1985
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献