Property Specification Language: Difference between revisions

Content deleted Content added
Added missing ending quotation marks in the Syntax and Semantics section
sorting
Line 271:
[[Category:Formal specification languages]]
[[Category:IEEE DASC standards]]
[[Category:IEC standards|#62531]]