JTC 1/SC 22/WG 19: Formal specification languages

Search Results

  1. MOST RECENT

    ISO/IEC 13817-1:1996

    Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language

    standard by International Organization for Standardization/International Electrotechnical Commission, 12/01/1996.

    Languages: English