Iris Baron

IB

Statistics

Publications

1

Citations

66

H-Index

1

Active since

2003

Iris Baron is an author at Massachusetts Institute of Technology specializing in formal verification, software engineering, and system software.

Publications per year

2003–2003

1

Publications

1