Proceedings of the 17th Workshop on Formal Techniques for Java-Like Programs

שנה

2015

שפה

English

הוצאה

Association for Computing Machinery

מהדורות

1

ISBN

9781450336567

מקור הנתונים: Wikidata