欢迎来到BU编程和验证原则新濠影汇线上赌场研究小组。
活动
We host a weekly 编程和验证原则研讨会. You can subscribe to the POPV mailing list 在这里.
If you are interested in giving a talk at this seminar, please contact the organizer Ugur•, Ankush Das, or 马可Gaboardi.
新濠影汇赌场:
学生:
过去的成员: