Formal techniques for Java-like programs: Report on the 10th workshop FTfJP at ECOOP 2008
- Albert, E.
- Banerjee, A.
- Drossopoulou, S.
- Huisman, M.
- Igarashi, A.
- Leavens, G.T.
- Müller, P.
- Wrigstad, T.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642020469
Año de publicación: 2009
Volumen: 5475 LNCS
Páginas: 70-76
Tipo: Aportación congreso