Title

Formal methods for eternal networked software systems

Title Supplement
11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011; advanced lectures
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
2011
Series
Lecture Notes in Computer Science; 6659
ISBN
3-642-21454-1
978-3-642-21454-7
978-3-642-21455-4
Conference