Références
- Newcombe, Chris; Rath, Tim; Zhang, Fan; Munteanu, Bogdan; Brooker, Marc; Deardeuff, Michael: How Amazon Web Services Uses Formal Methods, Communications of the ACM, April 2015, volume 58, number 4, 2015, pp. 66-73.
Pour tout commentaire, vous adresser à