Formal methods for open object based distributed systemsRoberto GorrieriUitverkocht4,3Hou mij op de hoogte
