Verified software: theories, tools and experiments

Daniel Kroening, Tiziana Margaria. Verified software: theories, tools and experiments. STTT, 12(6):405-408, 2010. [doi]

No reviews for this publication, yet.