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 - 2025/07/30
ER -