Home
Genres
Deals
Log in
Sign up
Premium
Help
Download
Privacy
Terms
Pavithra Prabhakar — Author | Lex | Lex
P
Pavithra Prabhakar
2 works on record
Works
Formal Modeling and Analysis of Timed Systems
Numerical Software Verification
Numerical Software Verification