Typage, sreté et sécurité.

Published in: Tech. Sci. Informatiques (2005)