Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
MPII
Automatic Verification of Parametric Specifications with Complex Topologies
Interpolation in local theory extensions
On combinations of local theory extensions
Sheaves and geometric logic and applications to the modular verification of complex systems
System Description: H-PILoT (Version 1.9)
No associations
LandOfFree
Viorica Sofronie-Stokkermans does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Viorica Sofronie-Stokkermans, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Viorica Sofronie-Stokkermans will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-273581