Concurrent Programming, Open Systems and Formal Methods
Jose Meseguer & Carlos A. Varela & Nalini Venkatasubramanian
Health Literacy Development Among People with Chronic Diseases
Marie-Luise Dierks & Jonas Lander & Melanie Hawkins
Cybersecurity Issues in Smart Grids and Future Power Systems
Arshad Arshad
Heart Failure
Christopher Nicholson
Public International Law
Sué González Hauck & Raffaela Kunz & Max Milas
Threats of Force and International Law
Agata Kleczkowska