Double the Return from your Property Portfolio: Reuse of Verification Assets from Formal to Simulation

Author(s):
Jonathan Bromley
Location:
United States
Year:
2015
Type:
Paper
Format:
pdf