Browsing by Author da Cruz,D
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2013 | Interactive Verification of Safety-Critical Software | da Cruz,D; Henriques,PR; Jorge Sousa Pinto |
Issue Date | Title | Author(s) |
---|---|---|
2013 | Interactive Verification of Safety-Critical Software | da Cruz,D; Henriques,PR; Jorge Sousa Pinto |