Lukasz Jancewicz

According to our database, Lukasz Jancewicz authored at least 1 paper in 2006.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2006

Propagation of JML non-null annotations in Java programs.

Maciej Cielecki, Jedrzej Fulara, Krzysztof Jakubczyk, Lukasz Jancewicz

Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, 2006