Dominique Borrione, Ashraf M. Salem. Application of formal methods for design space exploration and refinement. In Proceedings of the 2013 Forum on specification and Design Languages, FDL 2013, Paris, France, September 24-26, 2013. pages 1, IEEE, 2013. [doi]
Abstract is missing.