Concluído

Formal specification using Z tool

Concedido a:

Eleirin

I am efficient in Coq, Agda, and other similar formal specification system. I believe I would be able to provide an excellent answer, along with comments and explanations. Please provide me more details (what tools ar Mais

$30 USD em 1 dia
(2 Comentários)
2.9

2 freelancers estão ofertando em média $33 nesse trabalho

braincenter

I believe that my experience and skill in this background will prove to be of great help to you. Contact me to discuss more on the details

$35 USD em 1 dia
(8 Comentários)
4.1