Network-Centric Collaboration and Supporting FrameworksLuis M. Camarinha-Matos, Hamideh Afsarmanesh, Martin Ollus₹4,895
Formal Methods in Programming and Their ApplicationsDines Bjørner, Manfred Broy, Igor V. Pottosin₹5,598