First Page | Document Content | |
---|---|---|
![]() Date: 2018-08-20 10:44:31Software engineering Computing Computer science Polytechnic University of Milan International Conference on Software Engineering Bertrand Meyer Software verification ETH Zurich Carlo Ghezzi | Add to Reading List |