Alexandre Mota

Latest

• Brazil test center research group
• Proving aspect-oriented programming laws
• Mechanical abstraction of CSP-Z processes