Formal techniques for Java-like programs: Report on the 10th workshop FTfJP at ECOOP 2008

  1. Albert, E.
  2. Banerjee, A.
  3. Drossopoulou, S.
  4. Huisman, M.
  5. Igarashi, A.
  6. Leavens, G.T.
  7. Müller, P.
  8. Wrigstad, T.
Col·lecció de llibres:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743,  1611-3349

ISBN: 9783642020469

Any de publicació: 2009

Volum: 5475 LNCS

Pàgines: 70-76

Tipus: Aportació congrés

DOI: 10.1007/978-3-642-02047-6_8 GOOGLE SCHOLAR
Font de les dades: Scopus