Antonio Rosales Viesca - FormaliSE 2024

Fri 12 - Sun 21 April 2024 Lisbon, Portugal

co-located with ICSE 2024

Not registered as user yet

Name:Antonio Rosales Viesca

Affiliation:Texas A&M International University

Contributions

2024

ICSE

TPV: A Tool for Validating Temporal Properties in UML Class Diagrams

Show activities from other conferences

ICSE 2024-profile
View general profile