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.
Liburu bilduma:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743,  1611-3349

ISBN: 9783642020469

Argitalpen urtea: 2009

Alea: 5475 LNCS

Orrialdeak: 70-76

Mota: Biltzar ekarpena

DOI: 10.1007/978-3-642-02047-6_8 GOOGLE SCHOLAR
Datuen iturria: Scopus