Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs
Gespeichert in:
1. Verfasser: | |
---|---|
Körperschaft: | |
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
New York,NY,United States
Association for Computing Machinery
2013
|
Schriftenreihe: | ACM Other conferences
|
Online-Zugang: | UBM01 URL des Erstveröffentlichers |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|