Steven P. Miller
Proving the Shalls: Requirements, Proofs, and Model-Based Development
RE, 2006.
@inproceedings{RE-2006-Miller, author = "Steven P. Miller", booktitle = "{Proceedings of the 14th International Requirements Engineering Conference}", doi = "10.1109/RE.2006.49", isbn = "0-7695-2555-5", pages = "261", publisher = "{IEEE Computer Society}", title = "{Proving the Shalls: Requirements, Proofs, and Model-Based Development}", year = 2006, }