Author:
Craigen Dan,Gerhart Susan,Ralston Ted
Reference7 articles.
1. Bear, Stephen. “An Overview of HP-SL” In VDM 91 Proceedings of the 4th International Symposium of VDM Europe, October 1991, Springer-Verlag, Lecture Notes in Computer Science 551, pages 571-587.
2. “Specifying an Electronic Mail System with HP-SL”;Goldsack;Hewlett Packard Journal,1991
3. “Specifying Real-Time Behaviour in HP-SL”;Harry;Hewlett Packard Journal,1991
4. Dollin, C. “The HP-ST Toolset.” In VDM91 Proceedings of the 4th International Symposium of VDM Europe, October 1991, Springer-Verlag, Lecture Notes in Computer Science 551, pages 687-688.
5. “Using Formal Specification for Product Development”;Ladeau;Hewlett Packard Journal,1991