Model checking Object-Z classes: Some experiments with FDR

Full text

thumbnail-image

University of Queensland eSpace

redirect
Last time updated on 30/08/2013

This paper was published in University of Queensland eSpace.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.