Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS - Sciweavers

22

click to vote

more TPHOL 2005 ...

www.cs.york.ac.uk

Tweet