کتاب های D. Bolignano
Java on Smart Cards:Programming and Security
D. Bolignano, D. Le Métayer, C. Loiseaux (auth.), Isabelle Attali, Thomas Jensen (eds.), 2001
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Dominique Bolignano (auth.), 2013
