Export (0) Print
Expand All

Model Program Attributes

Model programs are created by using a set of custom attributes and predefined types that determine the interpretation in Spec Explorer of various programming elements. This section describes the attributes used in Model Programs.

In This Section

See Also

Other Resources

Spec Explorer Reference

© 2015 Microsoft