Browsing by Author Nakajima,S
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2015 | Studying Verification Conditions for Imperative Programs | Cláudio Belo Lourenço; Lamraoui,SM; Nakajima,S; Jorge Sousa Pinto |
Issue Date | Title | Author(s) |
---|---|---|
2015 | Studying Verification Conditions for Imperative Programs | Cláudio Belo Lourenço; Lamraoui,SM; Nakajima,S; Jorge Sousa Pinto |