C# (CSharp) Microsoft.Coyote Пространство имен

Пространства имен

Microsoft.Coyote.Actors
Microsoft.Coyote.Rewriting
Microsoft.Coyote.Samples
Microsoft.Coyote.Testing