Verification of systems of processes and monitors : two examples


Stein Gjessing
Bok Engelsk 1987

Detaljer

Bibliotek som har denne