Michael Colón

发表

Henny B. Sipma, Michael Colón, Michael Colón, 2002, CAV.

Henny B. Sipma, Michael Colón, Michael Colón, 2001, TACAS.

Henny B. Sipma, Sriram Sankaranarayanan, Michael Colón, 2003, CAV.

Michael Colón, Michael Colón, 2007, Sci. Comput. Program..

Michael Colón, Michael Colón, 2004, LOPSTR.

Michael Colón, Michael Colón, 2004, SAS.

Bernd Finkbeiner, Henny B. Sipma, Zohar Manna, 2000, Formal Methods Syst. Des..

Tomás E. Uribe, Michael Colón, Michael Colón, 1998, CAV.

Bernd Finkbeiner, Henny B. Sipma, Zohar Manna, 1998, Tool Support for System Specification, Development and Verification.

Bernd Finkbeiner, Henny B. Sipma, Zohar Manna, 1997, Requirements Targeting Software and Systems Engineering.

Edward Y. Chang, Henny B. Sipma, Zohar Manna, 1995, TAPSOFT.

Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2006, VMCAI.

Sriram Sankaranarayanan, Michael Colón, Michael Colón, 2011, ESOP.

Tomás E. Uribe, Z. Manna, Michael Colón, 2000, Formal Methods Syst. Des..

Edward Y. Chang, Henny B. Sipma, Zohar Manna, 1996, CAV.

Henny B. Sipma, Zohar Manna, Nikolaj Bjørner, 1995 .