32 citations · 48 across the 12 of their papers we have counts for
1 paper · 1 filter
Eerke Boiten
This paper takes an axiomatic and calculational view of diversity (or "N-version programming"), where multiple implementations of the same specification are executed in parallel to…