Infoscience

Journal article

A Formal Specification Framework for Object-Oriented Distributed Systems

Fulltext

Related material