Angel Velez-Sosa

发表

Peter A. Gloor, Irene Lee, Angel Velez-Sosa, 1992, Computational Support for Discrete Mathematics.

Peter A. Gloor, Angel Velez-Sosa, 1993, CSC '93.