Open jamesray1 opened 7 years ago
1.3 The footnote in para. 1 for correct-by-construction process does not refer to an actual paper. Either give a proper citation for the paper, or if it hasn’t been published yet, say so, and don’t cite it.
1.3 The footnote in para. 1 for correct-by-construction process does not refer to an actual paper. Either give a proper citation for the paper, or if it hasn’t been published yet, say so, and don’t cite it.