Browsing by Author Maria João Frade
Showing results 5 to 5 of 5
< previous
Issue Date | Title | Author(s) |
---|---|---|
2011 | Verification Conditions for Source-level Imperative Programs | Jorge Sousa Pinto; Maria João Frade |
Issue Date | Title | Author(s) |
---|---|---|
2011 | Verification Conditions for Source-level Imperative Programs | Jorge Sousa Pinto; Maria João Frade |