Sir, I have gone through your project description and am looking to provide my service for java work. For more than 7 years I’ve worked in this field.
Recently projects on java
https://www.freelancer.com/projects/javascript/API-call-Java/
https://www.freelancer.com/projects/php/Simple-java-code-17466056/
https://www.freelancer.com/projects/software-architecture/java-program-writer/
https://www.freelancer.com/projects/java/Dynamic-modelling-report-for-project
hello i'm java developer. i did a lots of java projects. I participated in a lots programming competitions and developed a lots project same your project and other different projects . so don't worry about anything. let's chat for more details
Honestly haven't tried using dafny before. However, I have java experience. Could you send the details and I could try working on it? I could get paid based on whether I met your satisfaction or not.