Etersafe, 43, Allee du pont des beaunes F-91120 Palaiseau;
Semantics, Proofs and Implementation, Laboratoire Informatique de Paris 6,Pierre Marie Curie University, F-75005 Paris;
Semantics, Proofs and Implementation, Laboratoire Informatique de Paris 6,Pierre Marie Curie University, F-75005 Paris;
formal methods; development cycle; voter; FoCaL;
机译:带有概率选民的简单复数选举中预期投票份额和获胜概率最大化的一般差异
机译:焦癫痫发起一线母性毒碱醋酸甲酸甲酸单疗法与通用抗肿瘤药物患者的比较经济结果
机译:整合通用焦点物种,元尺寸容量和连接,以确定链接碎片栖息地的机会
机译:在焦点下开发普通选民
机译:志愿领导者:女选民联盟的学习与发展。
机译:开发和验证一种工具,用于评估希腊学生对非专利药物的知识和态度:朝一般态度(ATTOGEN)问卷
机译:FoCal下通用选民的开发