Modelling Java Concurrency with Object-Z.

Roger Duke Luke Wildman Brad Long

Published in: SEFM (2003)

Keyphrases

object oriented
complex objects
database
d objects
open source
deformable objects
computer vision
web services
moving objects
source code
software systems
data objects
complex scenes
development environment
object oriented languages