C# (CSharp) Microsoft.PSharp.SharedObjects 네임스페이스

클래스들

이름	설명
SharedCounterResponseEvent	Event containing the value of a shared counter.