Search
Search Constraints
You searched for: Author/Creator KLEMEN, M.- KLEMEN, M. [remove] 3
- 005.115 3
- Artificial intelligence -- Computer programs -- Periodicals 3
- Constraint programming (Computer science) -- Periodicals 3
- Logic programming -- Periodicals 3
- Static Profiling, -- Static Analysis, -- Resource Usage Analysis, -- Complexity Analysis 1
- static analysis, -- resource usage analysis and verification, -- Horn clause-based analysis and verification, -- energy consumption, -- program verification and debugging 1