Ademar Aguiar

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

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Sep 24, 2024
Live software documentation of design pattern instances.

Filipe Lemos, Filipe F Correia, Ademar Aguiar

Pageof 1

Frequent Collaborators

1 joint publications

Paulo G G Queiroz