Author: Steven P. Miller

Publications

Publications

Miller, Steven P. (2006): Proving the Shalls: Requirements, Proofs, and Model-Based Development. In: 14th IEEE International Conference on Requirements Engineering RE 2006 11-15 September, 2006, Minneapolis/St.Paul, Minnesota, USA. pp. 261. https://doi.ieeecomputersociety.org/10.1109/RE.2006.49