Web Directory
 

Verification of Erlang programs using abstract interpretation and model checking

  Link Details for: Verification of Erlang programs using abstract interpretation and model checking
Link Title: Verification of Erlang programs using abstract interpretation and model checking Open in a new window
Link URL: http://portal.acm.org/citation.cfm?id=317908&coll=portal&dl=ACM&CFID=9780600&CFTOKEN=77012708
Link Details: Frank Huch. Fourth ACM SIGPLAN international conference on Functional programming, Paris.
Category: Top : Computers : Programming : Languages : Erlang : Conferences : Proceedings
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Verification of Erlang programs using abstract interpretation and model checking