Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
Abstract: Keeping the focus on what is being produced.
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
Rafae Bhatti, Elisa Bertino, et al.
Communications of the ACM
Leo Liberti, James Ostrowski
Journal of Global Optimization