Carlos Alberto Gonzalez Perez
|
|
||||
| Faculty or Centre | Interdisciplinary Centre for Security, Reliability and Trust | ||||
| Postal Address |
Université du Luxembourg 29, avenue JF Kennedy L-1855 Luxembourg |
||||
| Campus Office | JFK Building, E04-421 | ||||
|
|||||
| Telephone | (+352) 46 66 44 5946 | ||||
| Fax | (+352) 46 66 44 35946 | ||||
powered by
In press
Smart Bound Selection for the Verification of UML/OCL Class Diagrams; ;
in IEEE Transactions on Software Engineering (in press)
