![]() | ![]() |
| 2006 | ||
|---|---|---|
| 1 | Maciej Cielecki, Jedrzej Fulara, Krzysztof Jakubczyk, Lukasz Jancewicz: Propagation of JML non-null annotations in Java programs. PPPJ 2006: 135-140 | |
| 1 | Maciej Cielecki | [1] |
| 2 | Jedrzej Fulara | [1] |
| 3 | Krzysztof Jakubczyk | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page