Philip Porras

PP

1

Publications

520

Citations

1

H-Index

2012

Active since

Affiliations

Menlo School(Current)

Philip Porras is an author at Menlo School specializing in formal verification, engineering, and system software.

Publications per year

2012–2012

1

Publications

1