Concepedia

Author

Patrick Jayet

UNSW Sydney

Also Known As

Patrick Jayet

2

Publications

56

Citations

2

H-Index

16

Concepts

All Affiliations

UNSW Sydney
PJ

About

Patrick Jayet is an author at UNSW Sydney specializing in formal methods, automated reasoning, and system software.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

32

2

Computer Engineering

1

1

32

3

Computer Science

1

1

32

4

Software Analysis

1

1

32

5

Software Engineering

1

1

32

Patrick Jayet

×

1

Publications

32

Citations

1

H-Index

YearCitations

Page 1