资料来源 : Free On-Line Dictionary of Computing

ASPIK
     
         A multiple-style specification
        language.
     
        ["Algebraic Specifications in an Integrated Software
        Development and Verification System", A. Voss, Diss, U
        Kaiserslautern, 1985].
     
        (1994-11-30)