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

40

click to vote

more FASE 2008 ...

research.microsoft.com

Tweet