|
@Article{Huch:1999:VEP,
author = "Frank Huch",
title = "Verification of {Erlang} Programs using Abstract
Interpretation and Model Checking",
journal = "ACM SIG{\-}PLAN Notices",
volume = "34",
number = "9",
pages = "261--272",
month = sep,
year = "1999",
coden = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sat Oct 02 07:45:18 1999",
note = "Proceedings of the ACM SIGPLAN International
Conference on Functional Programming (ICFP '99).",
acknowledgement = ack-nhfb,
author-1-address = "RWTH Aachen, Germany",
}
Abstract, Paper This copy is posted by permission of ACM and may not be redistributed.
|
 |
