Computer Science – Software Engineering
Scientist
Computer Science
Software Engineering
Scientist
Northeastern University
Integrating Testing and Interactive Theorem Proving
Quantifier Elimination by Dependency Sequents
Removal of Quantifiers by Elimination of Boundary Points
No associations
LandOfFree
Panagiotis Manolios does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Panagiotis Manolios, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Panagiotis Manolios will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-51315