Object-Z Page

itee.uq.edu.au

Object-oriented extension of Z formal specification language, developed by research team at University of Queensland. Brief description, links, FAQ, tool support, publications, book reference.

Rate This Site

More in Z Report

QR Code

Download PNG

Embed Badge

<a href="https://e-sygoing.link/go/5650496" title="Object-Z Page"><img src="https://e-sygoing.link/badge.php?lid=5650496" alt="Listed on e-sygoing.link" height="20"></a>

Place this code on your website to show you're listed here.

Object-Z Page

Rate This Site

Submit Your Site

Related Links