Compositional formal analysis for concurrent object-oriented languages


Thi Mai Thuong Tran
Bok Engelsk 2013

Detaljer

Bibliotek som har denne