Divide et impera : a computational framework for verifying object component substitutability

by Else Nordhagen