A Sound and Complete Hoare Axiomatization of the Ada-Rendevous
Authors:
Rob Gerth
Affiliations:
-
Venue:
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Year:
1982
Citing
0
Cited
1
Formal Verification of Ada Programs
IEEE Transactions on Software Engineering
Quantified Score
Hi-index
0.00
Visualization
Abstract