Use cases for using netmodules when compiling .NET assemblies?...

How to call a Dafny method from a C# main program?...

Unable to create object in another appdomain when invoking C# using C++...