Specification for a Glovo Application using Overture tool and developing in VDM++ (VDMPP)
Import the project to the Overture tool and execute the program
The program specificates a Glovo Application, with a simple text menu, with input in the console.
There is also a rar file containing the code in java.
| Name | Number | Grade | Profile |
|---|---|---|---|
| Bernardo Leite | 201404464 | 16.5 | bernardoleite |
| Vítor Magalhães | 201503447 | 16.5 | LastLombax |