You're viewing this item in the new Europeana website. View this item in the original Europeana.

Verification of Erlang programs using abstract interpretation and model checking

Aachen, Techn. Hochsch., Diss., 2001