Author: Steven P. Miller
Publication Overview
Publication period start: 2006
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