SODA

Verification of Erlang programs: factoring out the side-effect-free fragment

Gurov, Dilian and Chugunov, Gennady (2000) Verification of Erlang programs: factoring out the side-effect-free fragment. In: Proceedings of Formal Methods in Industrial Critical Systems 2000, April 2000, Berlin, Germany.

[img]Postscript
77Kb

Item Type:Conference or Workshop Item (Paper)
Additional Information:GMD Report, no. 91,109-122.
ID Code:3171
Deposited By:INVALID USER
Deposited On:08 Jul 2008
Last Modified:18 Nov 2009 16:19

Repository Staff Only: item control page