Leveraging applications of formal methods

Descrição: This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging A... Veja mais