TY  - CONF

T1  - Automatic inference of erlang module behaviour

JO  - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PY  - 2013/01/01

AU  - Taylor R

AU  - Bogdanov K

AU  - Derrick J

ED  - 

DO  - DOI: 10.1007/978-3-642-38613-8_18

SN  - 9783642386121

VL  - 7940 LNCS

SP  - 253

EP  - 267

Y2  - 2024/12/22

ER  -