Del 55Formal Methods for Distributed System DevelopmentTommaso Bolognesi, Diego LatellaHäftad, 20132 145 kr
Formal Methods for Distributed System DevelopmentIfip Tc6 Wg6 1 Joint International Confe, Tommaso Bolognesi, Diego LatellaInbunden, 20002 210 kr
Integrated Formal MethodsJohn Derrick, Stefania Gnesi, Diego Latella, Helen TreharneHäftad, 2012558 kr
LOTOSphere: Software Development with LOTOSTommaso Bolognesi, Jeroen van de Lagemaat, Chris VissersHäftad, 20121 669 kr
LOTOSphere: Software Development with LOTOSTommaso Bolognesi, Jeroen van de Lagemaat, Chris VissersInbunden, 19951 659 kr