Leveraging Applications Of Formal Methods Verification And Validation Third International Symposium Proceedingsde Tiziana MargariaMateriasComputer scienceEdiciones (1)Leveraging Applications Of Formal Methods Verification And Validation Third International Symposium Proceedings (2008)Springer · ISBN 9783540884781Más obras de Tiziana MargariaSemantic Web Services Challenge
Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications
