The Rho Cube (2001)

by Horatiu Cirstea , Claude Kirchner , Luigi Liquori
Venue:In Proc. of FOSSACS, volume 2030 of LNCS
Citations:32 - 16 self