Formal requirements-based programming for complex systems

TitleFormal requirements-based programming for complex systems
Publication TypeConference Proceedings
Year of Conference2005
AuthorsRash, J., M. G. Hinchey, C. A. Rouff, and D. Gracanin
Conference NameProceedings of the International Conference on Engineering of Complex Computer Systems
Pagination116-125
Date PublishedJune
Conference Location(Shanghai, China