Gilberto Dos Reis Machado

1PUBLICATIONS
4CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Jul 04, 2019
Development of a software for intraoperatory nursing assistance.

Gilberto Dos Reis Machado, Yolanda Dora Martinez Évora, Alexandre Leite Rangel

Pageof 1

Frequent Collaborators

1 joint publications

Yolanda Dora Martinez Évora

1 joint publications

Alexandre Leite Rangel

1 joint publications

Renata Cristina de Campos Pereira Silveira

1 joint publications

Beatriz Regina da Silva