hello and thank you for reading my advert. I am looking for a person to complete a very small project. consisting of about 10 questions which I am needing doing. This will need to be done to good specification as my department head will be checking it.
Only apply if you know formal methods/VDM specification language reasonably well.