@inproceedings{Matichuk_MAJKS_15,
    address          = {Firenze, Italy},
    annotate         = {We find a consistent quadratic relationship between the size of the formal statement of a property,
                        and the final size of its formal proof},
    author           = {Matichuk, Daniel and Murray, Toby and Andronick, June and Jeffery, Ross and Klein, Gerwin and
                        Staples, Mark},
    booktitle        = {International Conference on Software Engineering},
    month            = feb,
    numpages         = {11},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8318.pdf},
    title            = {Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification},
    year             = {2015}
  }