Formal Methods Foundations and Applications
            
                Lecture Notes in Computer Science
Publisher: Springer
Published: 2010
Number of pages: 361
ISBN-13: 9783642104510