This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Formal Methods for Open Object-Based Distributed Systems (FMOODS)

A conference, workshop or journal: the thing that recurs, across all its years.

A conference on formal methods for open, object-based distributed systems, run from 1996. It merged with FORTE in 2007, so citations to it stop there and continue under the joint name.

Part of Lecture Notes in Computer Science.

1 reference

A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts

Cees Pierik and others (2003) · Formal Methods for Open Object-Based Distributed Systems · Springer