Search for dissertations about: "Gennady Chugunov"

Found 1 swedish dissertation containing the words Gennady Chugunov.

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

   Author : Gennady Chugunov; KTH; []
   Keywords : ;

   Abstract : .... READ MORE