Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs

Bibliographische Detailangaben

1. Verfasser:	Chin, Wei-Ngan (VerfasserIn)
Körperschaft:	ECOOP'12: 26th European Conference on Object-Oriented Programming (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	New York,NY,United States Association for Computing Machinery 2012
Schriftenreihe:	ACM Other conferences
Online-Zugang:	UBM01 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!