11 citations · 13 across the 4 of their papers we have counts for
1 paper · 1 filter
Leo Freitas, Peter Gorm Larsen
For recursive functions general principles of induction needs to be applied. Instead of verifying them directly using the Vienna Development Method Specification Language (VDM-SL),…