000 | 00320nas a22000857a 4500 | ||
---|---|---|---|
008 | 170117s9999 xx 000 0 und d | ||
245 |
_aFTfJP: Formal Techniques for Java-like Programs _h[e-journal] |
||
260 | _bAssociation for Computing Machinery | ||
856 |
_uhttp://dl.acm.org/proceedings/ftfjp/ _yeSS consortium 2009 - 2015 |
||
999 |
_c551024 _d551024 |