1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Nick Battle, Peter Gorm Larsen
All formalisms have the ability to ensure that their models are internally consistent. Potential inconsistencies are generally highlighted by assertions called proof obligations, a…