Toplam kayıt 1, listelenen: 1-1

    • Animation of Z secifications by translation to prolog 

      Salman, Omar (Doğuş Üniversitesi, 2000-01-15)
      Formal methods of software development rely on the validation of the specification of the software. Such specification is normally expressed in a formal language such as Z. However, in order to be validated the Z specification ...