Ironic But Effective: How Formal Analysis Can Perfect Your Simulation Constraints

Author(s):
Penny Yang, Jin Hou, Yuya Kao, Nan-Sheng Huang, Ping Yeung, and Joe Hupcey
Location:
United States
Year:
2017
Type:
Paper
Format:
pdf