Model Checking Object-Z Classes: Some Experiments with FDR - Sciweavers

29

click to vote

more APSEC 2001 ...

www.itee.uq.edu.au

Tweet