AFRODITE


AcronymDefinition
AFRODITEApplying Formal Methods to Real-size Object-Oriented Designs in Technical Environments