Obserwuj
Krzysztof Jakubczyk
Krzysztof Jakubczyk
PhD in Computer Science, University of Warsaw
Zweryfikowany adres z mimuw.edu.pl
Tytuł
Cytowane przez
Cytowane przez
Rok
Propagation of JML non-null annotations in Java programs
M Cielecki, J Fulara, K Jakubczyk, Ł Jancewicz
Proceedings of the 4th International Symposium on Principles and Practice of …, 2006
382006
Practically applicable formal methods
J Fulara, K Jakubczyk
SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on …, 2010
162010
Relational abstract domain of weighted hexagons
J Fulara, K Durnoga, K Jakubczyk, A Schubert
Electronic Notes in Theoretical Computer Science 267 (1), 59-72, 2010
152010
Sweeping in abstract interpretation
K Jakubczyk
Electronic Notes in Theoretical Computer Science 288, 25-36, 2012
32012
Source Code Analysis Techniques in Property Verification of Real Java Code
K Jakubczyk
2013
Techniki analizy kodu źródłowego w weryfikacji własności rzeczywistych programów w języku Java
K Jakubczyk
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–6