Stan Rosenberg, Ph.D.
Affiliations: | 2011 | Computer Science | Stevens Institute of Technology |
Area:
Computer Science, LogicGoogle:
"Stan Rosenberg"Parents
Sign in to add mentorD Naumann | grad student | 2011 | Stevens Institute of Technology | |
(Region logic: Local reasoning for Java programs and its automation.) |