Subproject A6
Survey Research Cooperations Literature People Links Contact
Further information on formal development methods in general and distributed systems in particular can be found in