Sökning: "state-trace"
Hittade 1 avhandling innehållade ordet state-trace.
1. Proving the correctness of a virtual machine by a bisimulation
Sammanfattning : .... LÄS MER
Resultatsidor:
1
Hittade 1 avhandling innehållade ordet state-trace.
Sammanfattning : .... LÄS MER