BRICS dissertation series¤An abstract coalgebraic approach to process equivalence for well-behaved operational semantics
0,00 kr
På lager
ISBN
1343606