Logical analysis of assumptions in code
β
J.R. Henderson; D.I. Blockley
π
Article
π
1982
π
Elsevier Science
π
English
β 976 KB