On verification of parallel and interleaved executions


Stein Krogdahl
Bok Engelsk 1999

Detaljer

Bibliotek som har denne