Browsing by Author Madeira, Alexandre
Showing results 36 to 37 of 37
< previous
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
2019 | Verification for Everyone? An Overview of Dynamic Logic | Madeira, Alexandre | bookPart | |
2023 | Weighted synchronous automata | Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis Soares | article |