Nestor Catano Collazos
AuthID: R-000-S8D
21
TITLE: CHASE:A Static Checker for JML’s Assignable Clause
AUTHORS: Néstor Cataño; Marieke Huisman;
PUBLISHED: 2002, SOURCE: Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation
AUTHORS: Néstor Cataño; Marieke Huisman;
PUBLISHED: 2002, SOURCE: Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation
22
TITLE: Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java
AUTHORS: Néstor Cataño; Marieke Huisman;
PUBLISHED: 2002, SOURCE: FME 2002:Formal Methods—Getting IT Right - Lecture Notes in Computer Science
AUTHORS: Néstor Cataño; Marieke Huisman;
PUBLISHED: 2002, SOURCE: FME 2002:Formal Methods—Getting IT Right - Lecture Notes in Computer Science
