Víctor Rivera

Translating B machines to JML specifications

Camilo Rueda, Néstor Cataño, Tim Wahls, 2012, SAC '12.

Relationship Tunnel Vision: Altered Social Interaction Using Eye-Tracking

Bongkeum Jeong, Mon-Chu Chen, Víctor Rivera, 2015, Tangible and Embedded Interaction.

Translating event-B to JML-specified Java programs

Néstor Cataño, Víctor Rivera, 2014, SAC.

The EventB2Dafny Rodin plug-in

K. Rustan M. Leino, Néstor Cataño, Víctor Rivera, 2012, 2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI).