AFRODITE

AFRODITE stands for Applying Formal Methods to Real-size Object-Oriented Designs in Technical Environments

AFRODITE

Leave a Reply

Your email address will not be published. Required fields are marked *