An Automatic Verifier for Java-Like Programs Based on Dynamic Frames - Sciweavers

38

click to vote

more FASE 2008 ...

research.microsoft.com

Tweet