Reasoning about side-effect free erlang code in a modalμ-calculus based verification framework
University dissertation from Kista : Mikroelektronik och informationsteknik
Abstract:
This dissertation MIGHT be available in PDF-format. Check this page to see if it is available for download.