Else Nordhagen

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

1998