Home›Books›Formal Methods for Multicore ProgrammingFormal Methods for Multicore Programmingby Marco Bernardo, Einar Broch JohnsenNo description available.Computer software, developmentSoftware engineering