Browsing by Author Madeira, Alexandre
Showing results 16 to 17 of 17
< previous
| Issue Date | Title | Author(s) | Type | Access Type |
|---|---|---|---|---|
| 2019 | Taming hierarchical connectors | Proença, José; Madeira, Alexandre | bookPart |  |
| 2019 | Verification for Everyone? An Overview of Dynamic Logic | Madeira, Alexandre | bookPart |  |