Victor Alfonso Rivera Zuniga
AuthID: R-000-ZMS
1
TITLE: Translating B and Event-B Machines to Java and JML
AUTHORS: Néstor Cataño; Víctor Rivera; Camilo Rueda; Tim Wahls;
PUBLISHED: 2014, SOURCE: Formal Methods Applied to Complex Systems - Implementation of the B Method
AUTHORS: Néstor Cataño; Víctor Rivera; Camilo Rueda; Tim Wahls;
PUBLISHED: 2014, SOURCE: Formal Methods Applied to Complex Systems - Implementation of the B Method
INDEXED IN: 
CrossRef
CrossRef2
TITLE: Translating B machines to JML specifications
AUTHORS: Néstor Cataño; Tim Wahls; Camilo Rueda; Víctor Rivera; Danni Yu;
PUBLISHED: 2012, SOURCE: Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12
AUTHORS: Néstor Cataño; Tim Wahls; Camilo Rueda; Víctor Rivera; Danni Yu;
PUBLISHED: 2012, SOURCE: Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12
INDEXED IN: CrossRef
CrossRef