This report gives an overview of the fifth ECOOP Workshop on Formal Techniques for Java-like Programs. It explains the motivation for such a workshop and summarizes the presentations and discussions. © Springer-Verlag 2004.
CITATION STYLE
Eisenbach, S., Leavens, G. T., Müller, P., Poetzsch-Heffter, A., & Poll, E. (2004). Formal techniques for java-like programs. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3013, 62–71. https://doi.org/10.1007/978-3-540-25934-3_7
Mendeley helps you to discover research relevant for your work.