Page "Soundness" Paragraph 16
from
Wikipedia
Soundness properties come in two main varieties: weak and strong soundness, of which the former is a restricted form of the latter.
Page 1 of 1.
2.051 seconds.