3 works on record
Formal methods and software engineering
Testbeds and Research Infrastructures for the Development of Networks and Communities
Computer and Information Science 2009