Vers une sémantique statique formelle pour Java - Fourati, Myriam (ProQuest Dissertations and Theses, 2000)