![]() | ![]() |
| 1985 | ||
|---|---|---|
| 1 | Jean-Francois Bergeretti, Bernard Carré: Information-Flow and Data-Flow Analysis of while-Programs. ACM Trans. Program. Lang. Syst. 7(1): 37-61 (1985) | |
| 1 | Bernard Carré | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page