Licentiatavhandlingar/Licentiate Theses 2012
Malin Picha Edwardsson
Media processes for content production: Studies of structures and climate impacts
Pedro de Carvalho Gomes
Sound Modular Extraction of Control Flow Graphs from Java Bytecode
PDF
Siavash Soleimanifard
Procedure-Modular Verification of Temporal Safety Properties
PDF
