Παρακολούθηση
Krzysztof Jakubczyk
Krzysztof Jakubczyk
PhD in Computer Science, University of Warsaw
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα mimuw.edu.pl
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–6