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
Ano de publicación: 2009
Volume: 5475 LNCS
Páxinas: 70-76
Tipo: Achega congreso