Introduction to Track on Engineering Virtualized Services

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-45231-8_1 ◽

2014 ◽

pp. 1-4

Author(s):

Reiner Hähnle ◽

Einar Broch Johnsen

Download Full-text