Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Krzysztof Jakubczyk
Observed institution:
University of Warsaw
OpenAlex ID:
A5000385876
Propagation of JML non-null annotations in Java programs
2006
·
Maciej Cielecki
, Jȩdrzej Fulara
, et al.
·
Principles and Practice of Programming in Java
·
20
Relational Abstract Domain of Weighted Hexagons
2010
·
Jędrzej Fulara
, Konrad Durnoga
, et al.
·
Electronic Notes in Theoretical Computer Science
·
11
PDF
Practically Applicable Formal Methods
2009
·
Jędrzej Fulara
, Krzysztof Jakubczyk
·
Lecture notes in computer science
·
11
Sweeping in Abstract Interpretation
2012
·
Krzysztof Jakubczyk
·
Electronic Notes in Theoretical Computer Science
·
1
PDF
Source Code Analysis Techniques in Property Verification of Real Java Code
2013
·
Krzysztof Jakubczyk
Supplementing Java Bytecode with Specifications
2008
·
Aleksy Schubert
, Krzysztof Jakubczyk
, et al.
Show more works
View as search
Works count:
7
Citation count:
43
H-index:
3
I10-index:
3
Year
Topic
Type
