Autore: Sunita Joshi

I am glad to see this new book on the e language and on verification. I am especially glad to see a description of the e Reuse Methodology (e RM). The main goal of verification is, after all, finding …