Lecture Notes In Computer Science- Leveraging Applications Of Formal Methods, Verification And Validation. Reocas Colloquium In Honor Of Rocco De Nicola
Bekijk boek