Formal Specification and Implementation of an Environment for Automatic Distribution.

Saeed Parsa, Omid Bushehrian

Browse the full GPC paper archive.