%0 Thesis %1 nordhagen98divide %A Nordhagen, Else K. %D 1998 %K typing %T divide et impera - A Computational Framework for Verifying Object Component Substitutability

@phdthesis{nordhagen98divide, added-at = {2011-12-16T09:33:35.000+0100}, author = {Nordhagen, Else K.}, biburl = {https://www.bibsonomy.org/bibtex/2e896e91ce31d05711639ee9673bf5325/pbrada}, groups = {public}, interhash = {1d4bbfcb4a88313c73f1d019abb61e75}, intrahash = {e896e91ce31d05711639ee9673bf5325}, keywords = {typing}, month = {November}, school = {University of Oslo}, timestamp = {2011-12-16T09:33:35.000+0100}, title = {divide et impera - A Computational Framework for Verifying Object Component Substitutability}, username = {pbrada}, year = 1998 }