Concepedia

Author

b Xu-PLDI’

Also Known As

b Xu-PLDI’

1

Publications

11

Citations

1

H-Index

7

Concepts

BX

About

b Xu-PLDI’ is an author specializing in formal methods, formal verification, and engineering.

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

b Xu-PLDI’

×

1

Publications

11

Citations

1

H-Index

YearCitations

Page 1