Bacillus sp. CH88
National Institutes of Health
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Dans cette these, nous visons a formaliser les effets calculatoires. En effet, les langages de programmation les plus utilises…
In this document, we formally analyze security in electronic voting and electronic auctions. On-line voting over is now available…