Nestor Catano Collazos


AuthID: R-000-S8D

Publicações a aguardar confirmação

21
TÍTULO: CHASE:A Static Checker for JML’s Assignable Clause
AUTORES: Néstor Cataño; Marieke Huisman;
PUBLICAÇÃO: 2002, FONTE: Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation
INDEXADO EM: CrossRef
NO MEU: ORCID
22
TÍTULO: Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java
AUTORES: Néstor Cataño; Marieke Huisman;
PUBLICAÇÃO: 2002, FONTE: FME 2002:Formal Methods—Getting IT Right - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID
Página 3 de 3. Total de resultados: 22.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service