R. J. Vinter

Reasoning about formal software specifications : an initial investigation

Diana Kornbrot, R. J. Vinter, Martin J. Loomes, 1996 .

Conditional reasoning in language and logic : transfer of non-logical heuristics?

Diana Kornbrot, R. J. Vinter, Martin J. Loomes, 1997 .

Measuring human inferential complexity in formal specifications : a predictive model for the Z notation

Diana Kornbrot, R. J. Vinter, Martin J. Loomes, 1997 .

Quantified reasoning in formal specification : transfer of everyday errors and biases?

Diana Kornbrot, R. J. Vinter, Martin J. Loomes, 1997 .

A review of twenty formal specification notations

R. J. Vinter, 1996 .

Transfer of non-logical tendencies to formal reasoning

R. J. Vinter, 1996 .