Subject
Computer Science Applications,Mechanical Engineering,General Materials Science,Modelling and Simulation,Civil and Structural Engineering
Reference26 articles.
1. Fundamentals of Algebraic Specification I: Equations and Initial Semantics;Ehrig,1985
2. Larch in five easy pieces;Guttag,1985
3. Software Engineering Mathematics;Woodcock,1989
4. An overview of some formal methods for program design;Hoare;Computer,1987
5. A specifier's introduction to formal methods;Wing;Computer,1990
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献