Title
Formal Techniques For Java-Like Programs: Report On The 10Th Workshop Ftfjp At Ecoop 2008
Abstract
This report gives an overview of the 10th Workshop on Formal Techniques for Java-like Programs at ECOOP 2008. It explains the motivation for the workshop, and summarizes the presentations and discussions. © 2009 Springer Berlin Heidelberg.
Publication Date
9-10-2009
Publication Title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume
5475 LNCS
Number of Pages
70-76
Document Type
Article; Proceedings Paper
Personal Identifier
scopus
DOI Link
https://doi.org/10.1007/978-3-642-02047-6_8
Copyright Status
Unknown
Socpus ID
69849109092 (Scopus)
Source API URL
https://api.elsevier.com/content/abstract/scopus_id/69849109092
STARS Citation
Albert, Elvira; Banerjee, Anindya; Drossopoulou, Sophia; Huisman, Marieke; and Igarashi, Atsushi, "Formal Techniques For Java-Like Programs: Report On The 10Th Workshop Ftfjp At Ecoop 2008" (2009). Scopus Export 2000s. 12104.
https://stars.library.ucf.edu/scopus2000/12104