B. Mermet

发表

B. Mermet, D. Mery, 1997, First IEEE International Conference on Formal Engineering Methods.