SODA

Compositional verification of Erlang programs

Dam, Mads and Fredlund, Lars-Åke and Gurov, Dilian (1998) Compositional verification of Erlang programs. In: Third Internal Workshop on Formal Methods for Industrial Critical Systems (FMICS'98), 25-26 May 1998, Amsterdam, The Netherlands.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Additional Information:Edited by J. F. Groote, B. Luttik, and J. van Wamel.
ID Code:3260
Deposited By:INVALID USER
Deposited On:22 Jun 2009
Last Modified:18 Nov 2009 16:19

Repository Staff Only: item control page