Tests and Proofs
            
                Lecture Notes in Computer Science
Publisher: Springer
Published: 2012
Number of pages: 187
ISBN-13: 9783642304729