Krystian Dudzinski

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Formal Descriptions

Java Virtual Machine

Space Complexity

Top Venues

Int. J. Found. Comput. Sci.

Publications

Krystian Dudzinski, Stavros Konstantinidis
Formal Descriptions of Code Properties: Decidability, Complexity, Implementation. Int. J. Found. Comput. Sci. 23 (1) (2012)