Concepedia

Author

Nasko Rountev

Also Known As

Nasko Rountev

1

Publications

11

Citations

1

H-Index

7

Concepts

NR

About

Nasko Rountev is an author specializing in formal methods, program analysis, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

11

2

Computer Science

1

1

11

3

Software Analysis

1

1

11

4

Formal Methods

1

1

11

5

Formal Verification

1

1

11

Nasko Rountev

×

1

Publications

11

Citations

1

H-Index

YearCitations

Static Detection of Loop-Invariant Data Structures

Harry Xu, Tony Q. Yan, Nasko Rountev,

2012

11

Page 1