Tommaso Bolognesi

Formal Methods for Distributed System Development

LOTOSphere: Software Development with LOTOS