Studying Verification Conditions for Imperative Programs
- Citation:
- Lourenço CB, - S, Nakajima S, Pinto JS. 2015. Studying Verification Conditions for Imperative Programs. {ECEASST}. 72
Abstract:
n/a
Notes:
Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVOCS'15)
Citation Key:
PintoJS:stuvcip
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.