Author:
Baraona Phillip,Penix John,Alexander Perry
Reference22 articles.
1. L. Augustin, D. Luckham, B. Gennart, Y. Huh, and A. Stanculescu. Hardware Design and Simulation in VAL/VHDL. Kluwer Academic Publishers, Boston, MA, 1991.
2. Yoonsik Cheon and Gary T. Leavens. A Quick Overview of Larch/C++. Journal of Object-Oriented Programming, 7(6):39–49, October 1994.
3. Stephen J. Garland, John V. Guttag, and James J. Horning. Debugging Larch Shared Language Specifications. Technical Report 60, Digital Equipment Corporation Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, July 1990.
4. David Guaspari. Penelope, an Ada Verification System. In Proceedings of Tri-Ada ′89, pages 216–224, Pittsburgh, PA, October 1989.
5. David Guaspari, Carla Marceau, and Wolfgang Polak. Formal Verification of Ada Programs. IEEE Transactions on Software Engineering, 16(9):1058–1075, September 1990.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献