Victor Alfonso Rivera Zuniga
AuthID: R-000-ZMS
1
TÃTULO: Translating B and Event-B Machines to Java and JML
AUTORES: Néstor Cataño; Víctor Rivera; Camilo Rueda; Tim Wahls;
PUBLICAÇÃO: 2014, FONTE: Formal Methods Applied to Complex Systems - Implementation of the B Method
AUTORES: Néstor Cataño; Víctor Rivera; Camilo Rueda; Tim Wahls;
PUBLICAÇÃO: 2014, FONTE: Formal Methods Applied to Complex Systems - Implementation of the B Method
INDEXADO EM: 
CrossRef
CrossRef2
TÃTULO: Translating B machines to JML specifications
AUTORES: Néstor Cataño; Tim Wahls; Camilo Rueda; Víctor Rivera; Danni Yu;
PUBLICAÇÃO: 2012, FONTE: Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12
AUTORES: Néstor Cataño; Tim Wahls; Camilo Rueda; Víctor Rivera; Danni Yu;
PUBLICAÇÃO: 2012, FONTE: Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12
INDEXADO EM: CrossRef
CrossRef