Concurrent Programming, Open Systems and Formal Methods: Essays Dedicated to Gul

Concurrent Programming, Open Systems and Formal Methods - 9783032052902

Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on...

Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to C

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Rei