欢迎来到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.

新濠影汇赌场:

学生: 

过去的成员: