Reasoning about side-effect free erlang code in a modalμ-calculus based verification framework

University dissertation from Kista : Mikroelektronik och informationsteknik

Author: Gennady Chugunov; Kth.; [2004]

Keywords: ;

Abstract:

  This dissertation MIGHT be available in PDF-format. Check this page to see if it is available for download.