Search for dissertations about: "state-trace"
Found 1 swedish dissertation containing the word state-trace.
-
1. Proving the correctness of a virtual machine by a bisimulation
Abstract : .... READ MORE
Result pages:
1
Found 1 swedish dissertation containing the word state-trace.
Abstract : .... READ MORE