Александр
Employer

[no-member:pro]Александр[/no-member:pro]Александр

1 projects
Closed
Project parameters
Type of cooperationOne-time project
Prepaymentwithout prepayment
Acceptance of requestsclosed
Project description
Need help in writing a diploma on the topic "Research methods of formal verification of software correctness using contract programming". You need to help understand the topic and form the main ideas for software implementation.
Project author: Александр