AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Néstor Cataño

Néstor Cataño

Innopolis University - Innopolis / Russia
Engineering & Technology / Computer Science
AD Scientific Index ID: 4361068
Университет Иннополиса
person_outline Néstor Cataño's MOST POPULAR ARTICLES
1-) Formal specification and static checking of Gemplus’ electronic purse using ESC/Java International Symposium of Formal Methods Europe, 272-289, 2002
2-) Code generation for Event-B International Journal on Software Tools for Technology Transfer 19 (1), 31-52, 2017
3-) CHASE:A Static Checker for JML’s Assignable Clause International Workshop on Verification, Model Checking, and Abstract …, 2002
4-) Formal methods for smart cards: an experience report Science of Computer Programming 55 (1-3), 53-80, 2005
5-) EventB2Java: A code generator for Event-B NASA Formal Methods Symposium, 166-171, 2016