Several questions on formal specification, just to compare to the results that I have from my own work. Using sets and types to create some queries / events for the formal specification.
There are only 6 questions - should probably only take an hour or so to complete.
All relevant information will be provided for you to carry out the task, including the clases and sets.
Please only bid if you can complete this within a day as it really shouldn't take long.