Browsing by Author Jorge Sousa Pinto
Showing results 17 to 17 of 17
< 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 |